From 4e9d990cb3f7f05d0374dc67ad510caa83b3439d Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 4 Nov 2021 16:37:10 +0100
Subject: [PATCH] [wp] configure checks for correct Coq version
---
src/plugins/wp/configure.ac | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index 7a16150db15..bfda65f8de4 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -85,7 +85,7 @@ if test "$ENABLE_WP" != "no"; then
if test "$COQC" = "yes" ; then
COQVERSION=`coqc -v | sed -n -e 's|.*version* *\([[^ ]]*\) .*$|\1|p' `
case $COQVERSION in
- 8.12.*|trunk)
+ 8.13.*|trunk)
AC_MSG_RESULT(coqc version $COQVERSION found)
;;
*)
--
GitLab