Commit ed185824 authored by POTTIER Francois's avatar POTTIER Francois

Remove a dependency which attempts to rebuild the generator.

parent 0646d4f0
......@@ -119,7 +119,7 @@ SED := $(shell if command -v gsed >/dev/null ; then echo gsed ; else echo sed ;
# We use CFML's cmj generator to produce %_ml.v and %.cmj files out of %.ml.
# Only the %.cmj target is known to "make".
%.cmj: %.ml $(CFML_MLV)
%.cmj: %.ml
@ echo "Translating `basename $<`..."
$(CFML_MLV) $(CFML_FLAGS) $(OCAML_INCLUDE) $<
......
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