From b8404abba7b365997ee7abcbc95c6e3008858999 Mon Sep 17 00:00:00 2001
From: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Date: Thu, 26 May 2022 10:15:27 +0200
Subject: 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 <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))
-- 
cgit v1.2.3