diff options
author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-10-24 21:44:59 +0200 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-10-24 21:44:59 +0200 |
commit | 8fe57ffd7036c14d38f621e1872d37463d1605bf (patch) | |
tree | c3e4b4581eb9ffa8c90c5d9f6d2dc8ce58030fa8 /nongnu/packages | |
parent | 3f00d57adce5d0a185708fd5c7c5ff6f852c2bf7 (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/packages')
-rw-r--r-- | nongnu/packages/coq.scm | 4 |
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)) |