diff options
| author | Timothy Sample <samplet@ngyro.com> | 2019-11-16 09:42:03 -0500 |
|---|---|---|
| committer | Timothy Sample <samplet@ngyro.com> | 2019-11-20 20:48:50 -0500 |
| commit | 3594b6699d3043029f85fda2ccd82da1ae17e61b (patch) | |
| tree | 564dbe2050259930c2d8431ee4aeb303ecfbc728 /gnu/packages/idris.scm | |
| parent | 8e41d38afd6b181f4ed387667bf355ceb49f5da5 (diff) | |
| download | patches-3594b6699d3043029f85fda2ccd82da1ae17e61b.tar patches-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'.
Diffstat (limited to 'gnu/packages/idris.scm')
| -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") |