Skip to content
Snippets Groups Projects
Commit 7b52e77f authored by Loïc Correnson's avatar Loïc Correnson
Browse files

[wp] fix plugin_check_dependencies

parent 1a4814b9
No related branches found
No related tags found
1 merge request!3Fixed a semantic error concerning ISO C99 Uninitialized Value Undefined Behaviour in Eva main manual
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/configure.ac
+ 9
− 13
View file @ 7b52e77f
...@@ -50,14 +50,15 @@ plugin_use(wp,gui) ...@@ -50,14 +50,15 @@ plugin_use(wp,gui)
###################### ######################
configure_pkg(why3,[package why3 not found]) configure_pkg(why3,[package why3 not found])
plugin_require_external(wp,why3)
AC_MSG_CHECKING(why3 version)
WHY3VERSION=`ocamlfind query -format %v why3 | tr -d '\\r\\n'` WHY3VERSION=`ocamlfind query -format %v why3 | tr -d '\\r\\n'`
case $WHY3VERSION in if test "$WHY3VERSION" == "" ;
"") then
AC_MSG_RESULT([not found!]) plugin_disable(wp,[why3 not found])
plugin_disable(wp,[why3 not found]) else
;; AC_MSG_CHECKING(why3 version)
case $WHY3VERSION in
0.* | 1.[[012]].* | 1.3.0) 0.* | 1.[[012]].* | 1.3.0)
AC_MSG_RESULT([found $WHY3VERSION: requires 1.3.1+]) AC_MSG_RESULT([found $WHY3VERSION: requires 1.3.1+])
plugin_disable(wp,[non-supported why3 $WHY3VERSION]) plugin_disable(wp,[non-supported why3 $WHY3VERSION])
...@@ -68,13 +69,8 @@ case $WHY3VERSION in ...@@ -68,13 +69,8 @@ case $WHY3VERSION in
*) *)
AC_MSG_RESULT([found $WHY3VERSION: might work (should be 1.3.1+)]) AC_MSG_RESULT([found $WHY3VERSION: might work (should be 1.3.1+)])
;; ;;
esac esac
fi
plugin_require_external(wp,why3)
check_plugin_dependencies
AC_SUBST(HAS_WHY3)
# Nb: this would deserve to use plugin_requires mechanism # Nb: this would deserve to use plugin_requires mechanism
if test "$ENABLE_WP" != "no"; then if test "$ENABLE_WP" != "no"; then
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment