ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2024-12-24 05:18:07 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: idris: Enable FFI and GMP support.

Browse source 
* gnu/packages/idris.scm (idris)[inputs]: Add ghc-libffi.
[arguments]: Add "-fFFI" and "-fGMP" to #:configure-flags.
This commit is contained in:
Eric Bavier 2019-04-11 19:28:45 -05:00
parent fb038f32ae
commit e16bc71015
No known key found for this signature in database
GPG key ID: FD73CAC719D32566
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gnu/packages/idris.scm
View file

@ -23,6 +23,7 @@ (define-module (gnu packages idris)
#: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 @@ (define-public idris
("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 @@ (define-public idris
`(#: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