03/04: gnu: idris: Enable FFI and GMP support.

[guix-commits]

bavier pushed a commit to branch master
in repository guix.

commit e16bc71015a2cc59f49e27720c0a93bc4188ed81
Author: Eric Bavier <address@hidden>
Date:   Thu Apr 11 19:28:45 2019 -0500

    gnu: idris: Enable FFI and GMP support.
    
    * gnu/packages/idris.scm (idris)[inputs]: Add ghc-libffi.
    [arguments]: Add "-fFFI" and "-fGMP" to #:configure-flags.
---
 gnu/packages/idris.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index 45e7a76..0f653d8 100644
--- a/gnu/packages/idris.scm
+++ b/gnu/packages/idris.scm
@@ -23,6 +23,7 @@
   #:use-module (gnu packages haskell)
   #:use-module (gnu packages haskell-check)
   #:use-module (gnu packages haskell-web)
+  #:use-module (gnu packages libffi)
   #:use-module (gnu packages multiprecision)
   #:use-module (gnu packages ncurses)
   #:use-module (guix build-system gnu)
@@ -61,6 +62,7 @@
        ("ghc-fingertree" ,ghc-fingertree)
        ("ghc-fsnotify" ,ghc-fsnotify)
        ("ghc-ieee754" ,ghc-ieee754)
+       ("ghc-libffi" ,ghc-libffi)
        ("ghc-megaparsec" ,ghc-megaparsec)
        ("ghc-network" ,ghc-network)
        ("ghc-optparse-applicative" ,ghc-optparse-applicative)
@@ -79,7 +81,8 @@
      `(#:tests? #f ; FIXME: Test suite doesn't run in a sandbox.
        #:configure-flags
        (list (string-append "--datasubdir="
-                            (assoc-ref %outputs "out") "/lib/idris"))
+                            (assoc-ref %outputs "out") "/lib/idris")
+             "-fFFI" "-fGMP")
        #:phases
        (modify-phases %standard-phases
          (add-before 'configure 'set-cc-command