From fc06104b94aea6e34c77d2b0513e698d1b6c6097 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 7 Jan 2022 14:09:02 +0100
Subject: [PATCH] [wp] Remove Coq from configure

---
 src/plugins/wp/configure.ac | 32 --------------------------------
 1 file changed, 32 deletions(-)

diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index bfda65f8de4..2063cb8fbb8 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -35,13 +35,6 @@ m4_ifndef([FRAMAC_M4_MACROS],
 
 check_plugin(wp,PLUGIN_RELATIVE_PATH(plugin_file),[WP plug-in],yes,yes)
 
-AC_ARG_ENABLE(
-  wp-coq,
-  [  --enable-wp-coq         Wp precompiled Coq libraries (default: yes)],
-  WPCOQ=$enableval,
-  WPCOQ=yes
-)
-
 plugin_require(wp,qed)
 plugin_require(wp,rtegen)
 plugin_use(wp,gui)
@@ -76,29 +69,4 @@ case $WHY3VERSION in
 esac
 fi
 
-# Nb: this would deserve to use plugin_requires mechanism
-if test "$ENABLE_WP" != "no"; then
-
-  ## Configuring for WP-COQ
-  if test "$WPCOQ" = "yes" ; then
-    AC_CHECK_PROG(COQC,coqc,yes,no)
-    if test "$COQC" = "yes" ; then
-      COQVERSION=`coqc -v | sed -n -e 's|.*version* *\([[^ ]]*\) .*$|\1|p' `
-      case $COQVERSION in
-        8.13.*|trunk)
-          AC_MSG_RESULT(coqc version $COQVERSION found)
-          ;;
-        *)
-          AC_MSG_RESULT(unsupported coqc version $COQVERSION for - deprecated - native backend)
-          COQC="no"
-          ;;
-      esac
-    fi
-  else
-    COQC="no"
-  fi
-  AC_SUBST(COQC)
-
-fi
-
 write_plugin_config(Makefile)
-- 
GitLab