Commit feb4696e authored by POTTIER Francois's avatar POTTIER Francois

Hardcode the executable name [cfml_mlv], assuming it is in the PATH.

parent ed185824
......@@ -121,7 +121,7 @@ SED := $(shell if command -v gsed >/dev/null ; then echo gsed ; else echo sed ;
%.cmj: %.ml
@ echo "Translating `basename $<`..."
$(CFML_MLV) $(CFML_FLAGS) $(OCAML_INCLUDE) $<
cfml_mlv $(CFML_FLAGS) $(OCAML_INCLUDE) $<
###############################################################################
# Clean
......
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