From 76c684f26a119d3aba3f7a8889ad4491ecd9c21c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 15 May 2019 15:25:57 +0200
Subject: [PATCH] [wp] recompute why3.conf when --prefix is changed

---
 src/plugins/wp/Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/wp/Makefile.in b/src/plugins/wp/Makefile.in
index e746e10b600..ee487300916 100644
--- a/src/plugins/wp/Makefile.in
+++ b/src/plugins/wp/Makefile.in
@@ -317,7 +317,7 @@ endif
 byte:: $(Wp_DIR)/share/why3/why3.conf
 opt:: $(Wp_DIR)/share/why3/why3.conf
 
-$(Wp_DIR)/share/why3/why3.conf:
+$(Wp_DIR)/share/why3/why3.conf: config.status $(Wp_DIR)/Makefile.in
 	@echo Generation of the extra-config for why3
 	@printf "[prover_modifiers]\n" >> $@
 	@printf "name=\"Coq\"\n" >> $@
-- 
GitLab