summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2022-08-09 17:10:43 +0200
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2022-08-09 17:10:43 +0200
commitd2717cb03b30a37c2888596a4d32f1a84a892b2f (patch)
tree151cd8d24ae90a52afcfe8908976b42178db49ac
parent59ae8db087db07830bfedd1fef0700773d12f45e (diff)
nongnu: compcert: Update to 3.11.
* nongnu/packages/coq.scm (compcert): Update to 3.11. [arguments]: Remove no longer required phase 'allow-newer-coq-version.
-rw-r--r--nongnu/packages/coq.scm8
1 files changed, 2 insertions, 6 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm
index f45b44c..e95e00b 100644
--- a/nongnu/packages/coq.scm
+++ b/nongnu/packages/coq.scm
@@ -30,7 +30,7 @@
(define-public compcert
(package
(name "compcert")
- (version "3.10")
+ (version "3.11")
(source (origin
(method git-fetch)
(uri (git-reference
@@ -39,15 +39,11 @@
(file-name (git-file-name name version))
(sha256
(base32
- "19rmx8r8v46101ij5myfrz60arqjy7q3ra3fb8mxqqi3c8c4l4j6"))))
+ "183b1fn7vhb9ykxax11x0bb2q6z5jnd874nzlxqnnm89j3ysr134"))))
(build-system gnu-build-system)
(arguments
`(#:phases
(modify-phases %standard-phases
- (add-before 'configure 'allow-newer-coq-version
- (lambda _
- (substitute* "configure"
- (("8.14.0") "8.15.1"))))
(replace 'configure
(lambda* (#:key outputs #:allow-other-keys)
(let ((system ,(match (or (%current-target-system) (%current-system))