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

[wp/distrib] fix distribution

parent 9739a22a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/Makefile.in
+ 2
− 0
View file @ 6a2d170d
...@@ -117,6 +117,8 @@ PLUGIN_DISTRIBUTED:=$(PLUGIN_ENABLE) ...@@ -117,6 +117,8 @@ PLUGIN_DISTRIBUTED:=$(PLUGIN_ENABLE)
PLUGIN_DISTRIB_EXTERNAL:= \ PLUGIN_DISTRIB_EXTERNAL:= \
Changelog \ Changelog \
Makefile.in \ Makefile.in \
ProverDetect.Why3.ml \
ProverDetect.None.ml \
MakeAPI \ MakeAPI \
configure.ac \ configure.ac \
configure \ configure \
......
src/plugins/wp/configure.ac
+ 1
− 1
View file @ 6a2d170d
...@@ -117,7 +117,7 @@ if test "$ENABLE_WP" != "no"; then ...@@ -117,7 +117,7 @@ if test "$ENABLE_WP" != "no"; then
WHY3API="yes" WHY3API="yes"
;; ;;
*) *)
AC_MSG_RESULT(why3 api not found (no why3-provers)) AC_MSG_RESULT(why3 api not found (no why3 prover detection))
WHY3API="no" WHY3API="no"
;; ;;
esac esac
......
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