303/328: gnu: idris: Fix Cabal dependency constraints.

[guix-commits]

samplet pushed a commit to branch wip-haskell-updates
in repository guix.

commit 6ca76277a8c1679b1ef144c626241c90c983e0a2
Author: Timothy Sample <address@hidden>
Date:   Sat Nov 16 09:42:03 2019 -0500

    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'.
---
 gnu/packages/idris.scm | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index e5c0ac2..4c6c5e1 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")