Subject: Re: [bug#31077] [PATCH] gnu: libfive: Add snippet, enable tests and remove obsolete phase.
From: [email-masked] (Ludovic Courtès)
To: Diego Nicola Barbato <[email-masked]>
Cc: [email-masked]
Date: Thu, 19 Apr 2018 11:42:26 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Diego,

Diego Nicola Barbato <[email-masked]> skribis:

>>From 402b75db39ec6778862a5a301cd6a6f520608c60 Mon Sep 17 00:00:00 2001
> From: Diego Nicola Barbato <[email-masked]>
> Date: Fri, 6 Apr 2018 13:43:54 +0200
> Subject: [PATCH] gnu: libfive: Add snippet, enable tests and remove obsolete
>  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’.