summaryrefslogtreecommitdiff
path: root/nongnu
diff options
context:
space:
mode:
authorJonathan Brielmaier <jonathan.brielmaier@web.de>2022-10-24 21:44:59 +0200
committerJonathan Brielmaier <jonathan.brielmaier@web.de>2022-10-24 21:44:59 +0200
commit8fe57ffd7036c14d38f621e1872d37463d1605bf (patch)
treec3e4b4581eb9ffa8c90c5d9f6d2dc8ce58030fa8 /nongnu
parent3f00d57adce5d0a185708fd5c7c5ff6f852c2bf7 (diff)
nongnu: compcert: Fix build with coq@8.16.0.
* nongnu/packages/coq.scm (compcert)[arguments]: Reintroduce the 'allow-newer-coq-version phase.
Diffstat (limited to 'nongnu')
-rw-r--r--nongnu/packages/coq.scm4
1 files changed, 4 insertions, 0 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm
index e95e00b..d86fffb 100644
--- a/nongnu/packages/coq.scm
+++ b/nongnu/packages/coq.scm
@@ -44,6 +44,10 @@
(arguments
`(#:phases
(modify-phases %standard-phases
+ (add-before 'configure 'allow-newer-coq-version
+ (lambda _
+ (substitute* "configure"
+ (("8.14.0") "8.16.0"))))
(replace 'configure
(lambda* (#:key outputs #:allow-other-keys)
(let ((system ,(match (or (%current-target-system) (%current-system))