summary refs log tree commit diff
diff options
context:
space:
mode:
authorTimothy Sample <samplet@ngyro.com>2019-11-16 09:42:03 -0500
committerTimothy Sample <samplet@ngyro.com>2019-11-20 20:48:50 -0500
commit3594b6699d3043029f85fda2ccd82da1ae17e61b (patch)
tree564dbe2050259930c2d8431ee4aeb303ecfbc728
parent8e41d38afd6b181f4ed387667bf355ceb49f5da5 (diff)
downloadguix-3594b6699d3043029f85fda2ccd82da1ae17e61b.tar.gz
gnu: idris: Fix Cabal dependency constraints.
* gnu/packages/idris.scm (idris): Add a phase that updates the Cabal
file to allow for newer versions of 'ansi-terminal'.
-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")