aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/idris.scm')
-rw-r--r--gnu/packages/idris.scm9
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")