From 136bd977c79f48e364ecdd9dc7e2159c3717c3d3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 29 May 2020 09:22:10 +0200
Subject: [PATCH] [wp] Update configure.ac
---
src/plugins/wp/configure.ac | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index 7253a06965a..5e794fd2b37 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -61,6 +61,10 @@ configure_pkg(why3,[package why3 not found])
AC_MSG_CHECKING(why3 version)
WHY3VERSION=`ocamlfind query -format %v why3 | tr -d '\\r\\n'`
case $WHY3VERSION in
+ "")
+ AC_MSG_RESULT([not found!])
+ plugin_disable(wp,[why3 not found])
+ ;;
0.* | 1.[[012]].* | 1.3.0)
AC_MSG_RESULT([found $WHY3VERSION: requires 1.3.1+])
plugin_disable(wp,[non-supported why3 $WHY3VERSION])
@@ -69,7 +73,7 @@ case $WHY3VERSION in
AC_MSG_RESULT([found $WHY3VERSION: ok])
;;
*)
- AC_MSG_RESULT([found $WHY3VERSION: should work but prefer 1.3.x])
+ AC_MSG_RESULT([found $WHY3VERSION: might work (should be 1.3.1+)])
;;
esac
--
GitLab