Commit 3eb8deb7 authored by POTTIER Francois's avatar POTTIER Francois

Remove another dependency on cfml_mlv.

parent feb4696e
......@@ -50,7 +50,7 @@ endif
.PHONY: all
all: $(CMJ) $(CFML_MLV)
all: $(CMJ)
# Must run in two successive phases, as coqdep must not run until the
# files %_ml.v have been generated. So, we create the files %.cmj and
# %_ml.v first (above), then compile every .v file.
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment