From 5c19e4f126660ba6d457da2d61dc6900df9891e1 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 27 May 2020 13:40:54 +0200
Subject: [PATCH] [wp][config] check presence of why3 _before_ checking its
version number
it's more logical that way.
---
src/plugins/wp/configure.ac | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index 90a91998c97..7253a06965a 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -56,6 +56,8 @@ REQUIRE_WHY3=
USE_WHY3=
HAS_WHY3=
+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
@@ -71,8 +73,6 @@ case $WHY3VERSION in
;;
esac
-configure_pkg(why3,[package why3 not found])
-
plugin_require_external(wp,why3)
AC_SUBST(HAS_WHY3)
--
GitLab