diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2019-12-05 17:57:35 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2019-12-05 17:57:35 +0100 |
| commit | 9d5aa009062a49bd035ae33e37f6562526e7d38c (patch) | |
| tree | 4ff2302863a5cf9f3cf604240ea793152156f532 /gnu/packages/idris.scm | |
| parent | 60bd56c6d8368c23dcd97b26501771c82316fc8c (diff) | |
| parent | 2c2fc24b899d3286774f60405888718d98211213 (diff) | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/idris.scm')
| -rw-r--r-- | gnu/packages/idris.scm | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index 7e6ee302b0..4c6c5e1aef 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -70,8 +70,8 @@ ("ghc-fsnotify" ,ghc-fsnotify) ("ghc-ieee754" ,ghc-ieee754) ("ghc-libffi" ,ghc-libffi) - ("ghc-megaparsec" ,ghc-megaparsec-7) - ("ghc-network" ,ghc-network-2.8) + ("ghc-megaparsec" ,ghc-megaparsec) + ("ghc-network" ,ghc-network) ("ghc-optparse-applicative" ,ghc-optparse-applicative) ("ghc-regex-tdfa" ,ghc-regex-tdfa) ("ghc-safe" ,ghc-safe) @@ -90,6 +90,11 @@ "-fFFI" "-fGMP") #: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 (lambda _ (setenv "CC" "gcc") |