From b8404abba7b365997ee7abcbc95c6e3008858999 Mon Sep 17 00:00:00 2001 From: Jonathan Brielmaier Date: Thu, 26 May 2022 10:15:27 +0200 Subject: [PATCH] nongnu: compcert: Allow build against newer coq version. * nongnu/packages/coq.scm (compcert)[arguments]: New phase 'allow-newer-coq-version. --- nongnu/packages/coq.scm | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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 -;;; Copyright © 2021 Isaac Young +;;; Copyright © 2021 Isaac Young +;;; Copyright © 2022 Jonathan Brielmaier ;;; ;;; 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))