From 8fe57ffd7036c14d38f621e1872d37463d1605bf Mon Sep 17 00:00:00 2001
From: Jonathan Brielmaier <jonathan.brielmaier@web.de>
Date: Mon, 24 Oct 2022 21:44:59 +0200
Subject: nongnu: compcert: Fix build with coq@8.16.0.

* nongnu/packages/coq.scm (compcert)[arguments]: Reintroduce the 'allow-newer-coq-version phase.
---
 nongnu/packages/coq.scm | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'nongnu/packages')

diff --git a/nongnu/packages/coq.scm b/nongnu/packages/coq.scm
index e95e00b..d86fffb 100644
--- a/nongnu/packages/coq.scm
+++ b/nongnu/packages/coq.scm
@@ -44,6 +44,10 @@
     (arguments
      `(#:phases
        (modify-phases %standard-phases
+         (add-before 'configure 'allow-newer-coq-version
+           (lambda _
+             (substitute* "configure"
+               (("8.14.0") "8.16.0"))))
          (replace 'configure
            (lambda* (#:key outputs #:allow-other-keys)
              (let ((system ,(match (or (%current-target-system) (%current-system))
-- 
cgit v1.2.3