gnu: idris: Fix overly zealous regular expression.

* gnu/packages/idris.scm (idris)[arguments]: Limit characters matched
after package name in cabal file substitutions.
This commit is contained in:
Lars-Dominik Braun 2023-01-25 10:01:36 +01:00
parent 7d60b97a6f
commit 92caedb60c
No known key found for this signature in database
GPG key ID: F663943E08D8092A

View file

@ -99,7 +99,7 @@ (define-public idris
(add-before 'configure 'update-constraints
(lambda _
(substitute* "idris.cabal"
(("(aeson|ansi-terminal|bytestring|haskeline|libffi|megaparsec|network|optparse-applicative)\\s+[^,]+" all dep)
(("(aeson|ansi-terminal|bytestring|haskeline|libffi|megaparsec|network|optparse-applicative)\\s+[<>=0-9. &|]+" all dep)
dep))))
(add-before 'configure 'set-cc-command
(lambda _