fixed dependency im Makefile

8585e5ea · MARCHE Claude · a31b9643 · 8585e5ea
Commit 8585e5ea authored Apr 26, 2017 by MARCHE Claude
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Makefile.in Makefile.in +1 -1

No files found.
--- a/Makefile.in
+++ b/Makefile.in
@@ -1699,7 +1699,7 @@ clean::

 CLEANDIRS += src/trywhy3

-src/ide/why3_js.cmo: src/ide/why3_js.ml
+src/ide/why3_js.cmo: src/ide/why3_js.ml lib/why3/why3.cma
 	$(JSOCAMLCW) $(BFLAGS) -c $<

 src/ide/why3_js.byte: lib/why3/why3.cma src/ide/why3_js.cmo