nongnu: compcert: Update to 3.13.1.
* nongnu/packages/coq.scm (compcert): Update to 3.13.1. [arguments]: Allow newer coq version.
This commit is contained in:
parent
8d047fc9a1
commit
a79f2b58e2
|
@ -15,7 +15,7 @@
|
||||||
(define-public compcert
|
(define-public compcert
|
||||||
(package
|
(package
|
||||||
(name "compcert")
|
(name "compcert")
|
||||||
(version "3.12")
|
(version "3.13.1")
|
||||||
(source (origin
|
(source (origin
|
||||||
(method git-fetch)
|
(method git-fetch)
|
||||||
(uri (git-reference
|
(uri (git-reference
|
||||||
|
@ -24,7 +24,7 @@
|
||||||
(file-name (git-file-name name version))
|
(file-name (git-file-name name version))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"0pcrkz1as37iz2wcp8j226fjn672lrj0cip2s0wpkiy097qi0yc5"))))
|
"0yvj9g144p26k7674vcai12sh3jahs64ny9pana9zla16nxxpmcm"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(arguments
|
(arguments
|
||||||
`(#:phases
|
`(#:phases
|
||||||
|
@ -32,7 +32,7 @@
|
||||||
(add-before 'configure 'allow-newer-coq-version
|
(add-before 'configure 'allow-newer-coq-version
|
||||||
(lambda _
|
(lambda _
|
||||||
(substitute* "configure"
|
(substitute* "configure"
|
||||||
(("8.15.2") "8.16.1"))))
|
(("8.15.2") "8.17.1"))))
|
||||||
(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))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user