diff options
author | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-05-26 10:15:27 +0200 |
---|---|---|
committer | Jonathan Brielmaier <jonathan.brielmaier@web.de> | 2022-05-26 10:15:27 +0200 |
commit | b8404abba7b365997ee7abcbc95c6e3008858999 (patch) | |
tree | a5aabe63e775e5e2e135c421ff0583a6f613e12d | |
parent | 61ca8018b0e5f8e0b0efb8d0e35a03326fec24c3 (diff) |
nongnu: compcert: Allow build against newer coq version.
* nongnu/packages/coq.scm (compcert)[arguments]: New phase
'allow-newer-coq-version.
-rw-r--r-- | nongnu/packages/coq.scm | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm index 58e3eed..f247483 100644 --- a/nongnu/packages/coq.scm +++ b/nongnu/packages/coq.scm @@ -1,6 +1,7 @@ ;;; GNU Guix --- Functional package management for GNU ;;; 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. ;;; @@ -43,6 +44,10 @@ (arguments `(#:phases (modify-phases %standard-phases + (add-before 'configure 'allow-newer-coq-version + (lambda _ + (substitute* "configure" + (("8.14.0") "8.15.1")))) (replace 'configure (lambda* (#:key outputs #:allow-other-keys) (let ((system ,(match (or (%current-target-system) (%current-system)) |