From b97f549b14402421fcfb360ddd4cff7de93b9af0 Mon Sep 17 00:00:00 2001 From: Lars-Dominik Braun Date: Mon, 20 Sep 2021 10:49:34 +0200 Subject: gnu: Update Haskell ecosystem. MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Bump packages’ versions to the lastest Stackage or Hackage release. Since packages are interdependent, do so in a single commit. 525 packages have been updated. These packages have been removed, because they fail to build, have no newer version available and no dependencies: corrode ghc-easytest ghc-edisonapi ghc-edisoncore ghc-pandoc-types ghc-regex-tdfa-text These have been removed, because they are no longer required: ghc-happy-1.19.9 ghc-prettyprinter-1.6 ghc-protolude-0.3 ghc-pandoc-citeproc and pandoc-citeproc have been removed, because pandoc does not use them any more. Co-authored-by: Xinglu Chen --- gnu/packages/idris.scm | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) (limited to 'gnu/packages/idris.scm') diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm index ca2772b904..0e8502b908 100644 --- a/gnu/packages/idris.scm +++ b/gnu/packages/idris.scm @@ -97,12 +97,11 @@ (lambda _ (setenv "LD_LIBRARY_PATH" (string-append (getcwd) "/dist/build")) #t)) - (add-after 'unpack 'update-constraints + (add-before 'configure 'update-constraints (lambda _ (substitute* "idris.cabal" - (("ansi-terminal < 0\\.9") "ansi-terminal < 0.10") - (("cheapskate >= 0\\.1\\.1\\.2 && < 0\\.2") "cheapskate >= 0.1.1.1 && < 0.2")) - #t)) + (("(aeson|ansi-terminal|haskeline|megaparsec|optparse-applicative)\\s+[^,]+" all dep) + dep)))) (add-before 'configure 'set-cc-command (lambda _ (setenv "CC" "gcc") -- cgit v1.2.3