From 0f83d318763647be793c534c6002db3381ad644c Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 13 May 2020 17:02:58 +0200
Subject: [PATCH] [configure] check and enforce why3 version

---
 src/plugins/wp/configure.ac | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index 2fb06c7a13e..52a414ab8e8 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -56,8 +56,16 @@ REQUIRE_WHY3=
 USE_WHY3=
 HAS_WHY3=
 
+AC_MSG_CHECKING(for why3 (>= 1.3.1))
+WHY3VERSION=`ocamlfind query -format %v why3 | tr -d '\\r\\n'`
+case $WHY3VERSION in
+      0.* | 1.[[012]].* | 1.3.0)
+        AC_MSG_ERROR(found why3 $WHY3VERSION: requires 1.3.1 or higher.);;
+      *)
+        AC_MSG_RESULT(found $WHY3VERSION: should work);;
+esac
+
 WHY3_PATH=`ocamlfind query why3 | tr -d '\\r\\n'`
-echo "Ocamlfind -> using $WHY3_PATH"
 WHY3PATH_FOR_CONFIGURE=$WHY3_PATH
 
 configure_library([WHY3],
-- 
GitLab