ryan77627/guix
1
0
Fork 0
mirror of https://git.in.rschanz.org/ryan77627/guix.git synced 2025-01-11 13:49:23 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: idris: Fix Cabal dependency constraints.

Browse source 
* gnu/packages/idris.scm (idris): Add a phase that updates the Cabal
file to allow for newer versions of 'ansi-terminal'.
This commit is contained in:
Timothy Sample 2019-11-16 09:42:03 -05:00
parent 8e41d38afd
commit 3594b6699d
No known key found for this signature in database
GPG key ID: 2AC6A5EC1C357C59
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
gnu/packages/idris.scm
View file

@ -90,6 +90,11 @@ (define-public idris
"-fFFI" "-fGMP") "-fFFI" "-fGMP")
#:phases #:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(add-after 'unpack 'update-constraints
(lambda _
(substitute* "idris.cabal"
(("ansi-terminal < 0\\.9") "ansi-terminal < 0.10"))
#t))
(add-before 'configure 'set-cc-command (add-before 'configure 'set-cc-command
(lambda _ (lambda _
(setenv "CC" "gcc") (setenv "CC" "gcc")