[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
215/272: gnu: idris: Update to 1.3.0.
From: |
Ricardo Wurmus |
Subject: |
215/272: gnu: idris: Update to 1.3.0. |
Date: |
Mon, 1 Oct 2018 06:13:48 -0400 (EDT) |
rekado pushed a commit to branch master
in repository guix.
commit 53812aa77f5c8a490191c069a13a927d365618c7
Author: Timothy Sample <address@hidden>
Date: Wed Aug 29 00:36:30 2018 -0400
gnu: idris: Update to 1.3.0.
* gnu/packages/idris.scm (idris): Update to 1.3.0.
[inputs]: Remove ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and
ghc-trifecta-1.6.2.1; add ghc-aeson, ghc-cheapskate, and ghc-megaparsec.
[arguments]: Add a phase that patches the Cabal file to allow newer
versions of aeson.
(ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, ghc-trifecta-1.6.2.1): Remove.
---
gnu/packages/idris.scm | 61 +++++++++-----------------------------------------
1 file changed, 10 insertions(+), 51 deletions(-)
diff --git a/gnu/packages/idris.scm b/gnu/packages/idris.scm
index 7f1af62..f80d6b3 100644
--- a/gnu/packages/idris.scm
+++ b/gnu/packages/idris.scm
@@ -31,56 +31,10 @@
#:use-module ((guix licenses) #:prefix license:)
#:use-module (guix packages))
-(define ghc-aeson-1.1.2.0
- (package (inherit ghc-aeson)
- (version "1.1.2.0")
- (source
- (origin
- (method url-fetch)
- (uri (string-append
- "https://hackage.haskell.org/package/aeson/aeson-"
- version
- ".tar.gz"))
- (sha256
- (base32
- "1zy5z8pzvh53qkjm0nm3f4rwqfqg3867ck8ncd6mrxpcyvxqqj1p"))))))
-
-(define ghc-trifecta-1.6.2.1
- (package (inherit ghc-trifecta)
- (version "1.6.2.1")
- (source
- (origin
- (method url-fetch)
- (uri (string-append
- "https://hackage.haskell.org/package/trifecta/"
- "trifecta-" version ".tar.gz"))
- (sha256
- (base32
- "1rgv62dlmm4vkdymx5rw5jg3w8ifpzg1745rvs1m4kzdx16p5cxs"))))))
-
-;; ghc-cheapskate appeared too new. This follows LTS Haskell.
-(define ghc-cheapskate-0.1.0.5
- (package
- (inherit ghc-cheapskate)
- (version "0.1.0.5")
- (source
- (origin
- (method url-fetch)
- (uri (string-append
- "https://hackage.haskell.org/package/cheapskate/cheapskate-"
- version
- ".tar.gz"))
- (sha256
- (base32
- "0cpsmfx5z2xykg71sv8j7pl8ga6pzyjnjdb9bxn00vcpqkzvfqvs"))))
- (arguments
- ;; LTS Haskell says data-default >=0.5 && <0.8
- `(#:configure-flags (list "--allow-newer=data-default")))))
-
(define-public idris
(package
(name "idris")
- (version "1.0")
+ (version "1.3.0")
(source (origin
(method url-fetch)
(uri (string-append
@@ -88,12 +42,12 @@
"idris-" version "/idris-" version ".tar.gz"))
(sha256
(base32
- "1srbz0cyvd0k1yqgbrwnfj94yg5y3z533q1kzac96z1h7v454s5h"))))
+ "1w5i2z88li4niykwc6yrgxgfp25ll6ih95cip0ri7d8i7ik03c48"))))
(build-system haskell-build-system)
(inputs
`(("gmp" ,gmp)
("ncurses" ,ncurses)
- ("ghc-aeson" ,ghc-aeson-1.1.2.0)
+ ("ghc-aeson" ,ghc-aeson)
("ghc-annotated-wl-pprint" ,ghc-annotated-wl-pprint)
("ghc-ansi-terminal" ,ghc-ansi-terminal)
("ghc-ansi-wl-pprint" ,ghc-ansi-wl-pprint)
@@ -101,11 +55,12 @@
("ghc-base64-bytestring" ,ghc-base64-bytestring)
("ghc-blaze-html" ,ghc-blaze-html)
("ghc-blaze-markup" ,ghc-blaze-markup)
- ("ghc-cheapskate" ,ghc-cheapskate-0.1.0.5)
+ ("ghc-cheapskate" ,ghc-cheapskate)
("ghc-code-page" ,ghc-code-page)
("ghc-fingertree" ,ghc-fingertree)
("ghc-fsnotify" ,ghc-fsnotify)
("ghc-ieee754" ,ghc-ieee754)
+ ("ghc-megaparsec" ,ghc-megaparsec)
("ghc-network" ,ghc-network)
("ghc-optparse-applicative" ,ghc-optparse-applicative)
("ghc-regex-tdfa" ,ghc-regex-tdfa)
@@ -113,7 +68,6 @@
("ghc-split" ,ghc-split)
("ghc-terminal-size" ,ghc-terminal-size)
("ghc-text" ,ghc-text)
- ("ghc-trifecta" ,ghc-trifecta-1.6.2.1)
("ghc-uniplate" ,ghc-uniplate)
("ghc-unordered-containers" ,ghc-unordered-containers)
("ghc-utf8-string" ,ghc-utf8-string)
@@ -131,6 +85,11 @@
(lambda _
(setenv "CC" "gcc")
#t))
+ (add-before 'configure 'update-constraints
+ (lambda _
+ (substitute* "idris.cabal"
+ (("aeson >= 0\\.6 && < 1\\.3")
+ "aeson >= 0.6 && < 1.4"))))
(add-after 'install 'fix-libs-install-location
(lambda* (#:key outputs #:allow-other-keys)
(let* ((out (assoc-ref outputs "out"))
- 181/272: gnu: ghc-http-date: Update to 0.0.8., (continued)
- 181/272: gnu: ghc-http-date: Update to 0.0.8., Ricardo Wurmus, 2018/10/01
- 189/272: gnu: ghc-connection: Update to 0.2.8., Ricardo Wurmus, 2018/10/01
- 202/272: gnu: ghc-http-client-tls: Update to 0.3.5.3., Ricardo Wurmus, 2018/10/01
- 180/272: gnu: ghc-hslua: Update to 0.9.5.2., Ricardo Wurmus, 2018/10/01
- 201/272: gnu: ghc-free: Update to 5.0.2., Ricardo Wurmus, 2018/10/01
- 193/272: gnu: ghc-lifted-async: Update to 0.10.0.2., Ricardo Wurmus, 2018/10/01
- 208/272: gnu: ghc-either: Update to 5.0.1., Ricardo Wurmus, 2018/10/01
- 226/272: gnu: Add ghc-cryptohash-sha256., Ricardo Wurmus, 2018/10/01
- 236/272: gnu: ghc-chart: Update to 1.9., Ricardo Wurmus, 2018/10/01
- 234/272: gnu: ghc-warp: Update to 3.2.23., Ricardo Wurmus, 2018/10/01
- 215/272: gnu: idris: Update to 1.3.0.,
Ricardo Wurmus <=
- 268/272: gnu: shellcheck: Update to 0.5.0., Ricardo Wurmus, 2018/10/01
- 195/272: gnu: ghc-profunctors: Update Cabal file to r2., Ricardo Wurmus, 2018/10/01
- 205/272: gnu: ghc-skylighting: Update to 0.7.2., Ricardo Wurmus, 2018/10/01
- 223/272: gnu: ghc-simple-sendfile: Update to 0.2.27., Ricardo Wurmus, 2018/10/01
- 212/272: gnu: ghc-kan-extensions: Update to 5.2., Ricardo Wurmus, 2018/10/01
- 235/272: gnu: xmobar: Update to 0.28., Ricardo Wurmus, 2018/10/01
- 241/272: gnu: Add ghc-rio., Ricardo Wurmus, 2018/10/01
- 217/272: gnu: ghc-wai-extra: Update to 3.0.24.2., Ricardo Wurmus, 2018/10/01
- 222/272: gnu: ghc-monad-logger: Update to 0.3.29., Ricardo Wurmus, 2018/10/01
- 209/272: gnu: ghc-fsnotify: Update to 0.3.0.1., Ricardo Wurmus, 2018/10/01