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.scm5
1 files changed, 5 insertions, 0 deletions
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index e5c0ac210e..4c6c5e1aef 100644
--- a/gnu/packages/idris.scm
+++ b/gnu/packages/idris.scm
@@ -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")