# --- T2-COPYRIGHT-BEGIN ---
# t2/package/*/compcert/configure-rocq-9.patch
# Copyright (C) 2025 The T2 SDE Project
# SPDX-License-Identifier: GPL-2.0 or patched project license
# --- T2-COPYRIGHT-END ---

--- CompCert-3.15/configure.vanilla	2025-07-21 17:57:40.381000000 +0200
+++ CompCert-3.15/configure	2025-07-21 17:58:21.034741744 +0200
@@ -500,7 +500,7 @@
 missingtools=false
 
 echo "Testing Coq... " | tr -d '\n'
-coq_ver=$(${COQBIN}coqc -v 2>/dev/null | tr -d '\r' | sed -n -e 's/The Coq Proof Assistant, version \([^ ]*\).*$/\1/p')
+coq_ver=$(${COQBIN}coqc -v 2>/dev/null | tr -d '\r' | sed -n -e 's/The Rocq Prover, version \([^ ]*\).*$/\1/p')
 case "$coq_ver" in
   8.13.0|8.13.1|8.13.2|8.14.0|8.14.1|8.15.0|8.15.1|8.15.2|8.16.0|8.16.1|8.17.0|8.17.1|8.18.0|8.19.0|8.19.1|8.19.2|8.20.0)
         echo "version $coq_ver -- good!";;