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

[configure] disable wp with ocamlfind

parent 136bd977
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
+ 3
− 11
View file @ 1a4814b9
...@@ -48,13 +48,6 @@ plugin_use(wp,gui) ...@@ -48,13 +48,6 @@ plugin_use(wp,gui)
# Why3 API dependency # 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]) configure_pkg(why3,[package why3 not found])
...@@ -79,12 +72,11 @@ esac ...@@ -79,12 +72,11 @@ esac
plugin_require_external(wp,why3) plugin_require_external(wp,why3)
AC_SUBST(HAS_WHY3)
check_plugin_dependencies 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 if test "$ENABLE_WP" != "no"; then
## Configuring for WP-COQ ## Configuring for WP-COQ
......
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