Skip to content
Snippets Groups Projects
Commit 76c684f2 authored by Loïc Correnson's avatar Loïc Correnson Committed by Virgile Prevosto
Browse files

[wp] recompute why3.conf when --prefix is changed

parent 9f808abb
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
+ 1
− 1
View file @ 76c684f2
...@@ -317,7 +317,7 @@ endif ...@@ -317,7 +317,7 @@ endif
byte:: $(Wp_DIR)/share/why3/why3.conf byte:: $(Wp_DIR)/share/why3/why3.conf
opt:: $(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 @echo Generation of the extra-config for why3
@printf "[prover_modifiers]\n" >> $@ @printf "[prover_modifiers]\n" >> $@
@printf "name=\"Coq\"\n" >> $@ @printf "name=\"Coq\"\n" >> $@
......
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