From 6a2d170d3d02002f94ed8dad503fc1070f5893ae Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 24 Apr 2019 14:57:05 +0200
Subject: [PATCH] [wp/distrib] fix distribution
---
src/plugins/wp/Makefile.in | 2 ++
src/plugins/wp/configure.ac | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in
index 7f810fa98db..e746e10b600 100644
--- a/src/plugins/wp/Makefile.in
+++ b/src/plugins/wp/Makefile.in
@@ -117,6 +117,8 @@ PLUGIN_DISTRIBUTED:=$(PLUGIN_ENABLE)
PLUGIN_DISTRIB_EXTERNAL:= \
Changelog \
Makefile.in \
+ ProverDetect.Why3.ml \
+ ProverDetect.None.ml \
MakeAPI \
configure.ac \
configure \
diff --git a/src/plugins/wp/configure.ac b/src/plugins/wp/configure.ac
index dcdb934f56e..706451a1ab2 100644
--- a/src/plugins/wp/configure.ac
+++ b/src/plugins/wp/configure.ac
@@ -117,7 +117,7 @@ if test "$ENABLE_WP" != "no"; then
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"
;;
esac
--
GitLab