Lispln/nonguix
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2024-12-23 07:14:53 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

nongnu: compcert: Update to 3.12.

Browse source 
* nongnu/packages/coq.scm (compcert): Update to 3.12.
[arguments]: Adapt 'allow-newer-coq-version phase.
This commit is contained in:
Jonathan Brielmaier 2023-04-05 21:29:25 +02:00
parent 8ec4b83743
commit 036092e3fb
No known key found for this signature in database
GPG key ID: ECFC83988B4E4B9F
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
nongnu/packages/coq.scm
View file

@ -15,7 +15,7 @@
(define-public compcert
(package
(name "compcert")
(version "3.11")
(version "3.12")
(source (origin
(method git-fetch)
(uri (git-reference
@ -24,7 +24,7 @@
(file-name (git-file-name name version))
(sha256
(base32
"183b1fn7vhb9ykxax11x0bb2q6z5jnd874nzlxqnnm89j3ysr134"))))
"0pcrkz1as37iz2wcp8j226fjn672lrj0cip2s0wpkiy097qi0yc5"))))
(build-system gnu-build-system)
(arguments
`(#:phases
@ -32,7 +32,7 @@
(add-before 'configure 'allow-newer-coq-version
(lambda _
(substitute* "configure"
(("8.14.0") "8.16.0"))))
(("8.15.2") "8.16.1"))))
(replace 'configure
(lambda* (#:key outputs #:allow-other-keys)
(let ((system ,(match (or (%current-target-system) (%current-system))