From 1a4814b95003c44caba89ba8c2f1bb311f694700 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 29 May 2020 09:45:40 +0200
Subject: [PATCH] [configure] disable wp with ocamlfind

---
 src/plugins/wp/configure.ac | 14 +++-----------
 1 file changed, 3 insertions(+), 11 deletions(-)

diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index 5e794fd2b37..15fd72e4caa 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -48,13 +48,6 @@ plugin_use(wp,gui)
 
 # Why3 API dependency
 ######################
-# REQUIRE_LIBRARY: library *must* be present in order to build plugins
-# USE_LIBRARY: better for plugins if library is present, but not required
-# HAS_LIBRARY: is the library available?
-
-REQUIRE_WHY3=
-USE_WHY3=
-HAS_WHY3=
 
 configure_pkg(why3,[package why3 not found])
 
@@ -79,12 +72,11 @@ esac
 
 plugin_require_external(wp,why3)
 
-AC_SUBST(HAS_WHY3)
-
-
 check_plugin_dependencies
 
-# NB: this would deserve to use plugin_requires mechanism
+AC_SUBST(HAS_WHY3)
+
+# Nb: this would deserve to use plugin_requires mechanism
 if test "$ENABLE_WP" != "no"; then
 
   ## Configuring for WP-COQ
-- 
GitLab