mirror of
https://gitlab.com/nonguix/nonguix.git
synced 2024-12-25 00:04:51 +01:00
nongnu: compcert: Allow build against newer coq version.
* nongnu/packages/coq.scm (compcert)[arguments]: New phase 'allow-newer-coq-version.
This commit is contained in:
parent
61ca8018b0
commit
b8404abba7
1 changed files with 6 additions and 1 deletions
|
@ -1,6 +1,7 @@
|
||||||
;;; GNU Guix --- Functional package management for GNU
|
;;; GNU Guix --- Functional package management for GNU
|
||||||
;;; Copyright © 2020 Julien Lepiller <julien@lepiller.eu>
|
;;; Copyright © 2020 Julien Lepiller <julien@lepiller.eu>
|
||||||
;;; Copyright © 2021 Isaac Young <isyoung@pm.me>
|
;;; Copyright © 2021 Isaac Young <isyoung@pm.me>
|
||||||
|
;;; Copyright © 2022 Jonathan Brielmaier <jonathan.brielmaier@web.de>
|
||||||
;;;
|
;;;
|
||||||
;;; This file is not part of GNU Guix.
|
;;; This file is not part of GNU Guix.
|
||||||
;;;
|
;;;
|
||||||
|
@ -43,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.15.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 a new issue