diff options
| -rw-r--r-- | gnu/packages/idris.scm | 5 |
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") |