From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:47155) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1f965q-0005EQ-2k for guix-patches@gnu.org; Thu, 19 Apr 2018 05:43:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1f965n-00021F-2A for guix-patches@gnu.org; Thu, 19 Apr 2018 05:43:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:52207) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1f965m-000213-UA for guix-patches@gnu.org; Thu, 19 Apr 2018 05:43:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1f965m-0005wl-Mr for guix-patches@gnu.org; Thu, 19 Apr 2018 05:43:02 -0400 Subject: bug#31077: [PATCH] gnu: libfive: Add snippet, enable tests and remove obsolete phase. Resent-To: guix-patches@gnu.org Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <877epkjw2e.fsf@GlaDOS.home> Date: Thu, 19 Apr 2018 11:42:26 +0200 In-Reply-To: <877epkjw2e.fsf@GlaDOS.home> (Diego Nicola Barbato's message of "Fri, 06 Apr 2018 15:36:41 +0200") Message-ID: <87fu3rmt19.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Diego Nicola Barbato Cc: 31077-done@debbugs.gnu.org Hi Diego, Diego Nicola Barbato skribis: >>>From 402b75db39ec6778862a5a301cd6a6f520608c60 Mon Sep 17 00:00:00 2001 > From: Diego Nicola Barbato > Date: Fri, 6 Apr 2018 13:43:54 +0200 > Subject: [PATCH] gnu: libfive: Add snippet, enable tests and remove obsol= ete > phase. > > * gnu/packages/engineering.scm (libfive)[source]: Add snippet to > remove bundled catch. > [arguments]: Remove #:tests?. Add #:test-target. Remove phase > 'add-eigen-to-search-path'. It LGTM and it works for me here, so I went ahead and applied it. Thank you! Ludo=E2=80=99.