Lispln/nonguix
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2024-11-29 03:34:11 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

nongnu: compcert: Fix build with coq@8.16.0.

Browse source 
* nongnu/packages/coq.scm (compcert)[arguments]: Reintroduce the 'allow-newer-coq-version phase.
This commit is contained in:
Jonathan Brielmaier 2022-10-24 21:44:59 +02:00
parent 3f00d57adc
commit 8fe57ffd70
No known key found for this signature in database
GPG key ID: ECFC83988B4E4B9F
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
nongnu/packages/coq.scm
View file

@ -44,6 +44,10 @@
(arguments (arguments
`(#:phases `(#:phases
(modify-phases %standard-phases (modify-phases %standard-phases
(add-before 'configure 'allow-newer-coq-version
(lambda _
(substitute* "configure"
(("8.14.0") "8.16.0"))))
(replace 'configure (replace 'configure
(lambda* (#:key outputs #:allow-other-keys) (lambda* (#:key outputs #:allow-other-keys)
(let ((system ,(match (or (%current-target-system) (%current-system)) (let ((system ,(match (or (%current-target-system) (%current-system))