Commit 98e67c32 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix dependency tracking for Jessie plugin.

parent 06451607
......@@ -1021,10 +1021,10 @@ ifeq (@enable_frama_c@,yes)
byte: jessie.byte
opt: jessie.opt
jessie.byte: lib/why3/why3.cma
jessie.byte: src/jessie/Makefile lib/why3/why3.cma
@$(MAKE) -C src/jessie Jessie3.cma
jessie.opt: lib/why3/why3.cmxa
jessie.opt: src/jessie/Makefile lib/why3/why3.cmxa
@$(MAKE) -C src/jessie Jessie3.cmxs
install_no_local::
......@@ -1559,6 +1559,9 @@ headers:
Makefile: Makefile.in config.status
./config.status chmod --file $@
src/jessie/Makefile: src/jessie/Makefile.in config.status
./config.status chmod --file $@
src/config.sh: src/config.sh.in config.status
./config.status chmod --file $@
......
......@@ -21,6 +21,9 @@ OCAMLLEX = @OCAMLLEX@
literals.ml: literals.mll
$(OCAMLLEX) $<
$(addsuffix .cmo, $(PLUGIN_CMO)): $(WHYLIB)/why3.cmi
$(addsuffix .cmx, $(PLUGIN_CMO)): $(WHYLIB)/why3.cmi $(WHYLIB)/why3.cmx
include $(FRAMAC_SHARE)/Makefile.dynamic
tests::
......
Markdown is supported
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