Commit ebf62fc5 authored by POTTIER Francois's avatar POTTIER Francois

Remove inclusion of Makefile.tools.

parent 2f3e5ead
......@@ -57,10 +57,6 @@ CMJ := $(patsubst %.ml,%.cmj,$(ML))
MLV := $(patsubst %.ml,%_ml.v,$(ML))
D := $(patsubst %.ml,%.d,$(ML))
ifeq ($(findstring $(MAKECMDGOALS),clean),)
include $(CFML)/lib/make/Makefile.tools
endif
OCAMLDEP := $(OCAMLBIN)ocamldep
OCAMLPOST := $(CFML)/lib/make/ocamldep.post
......
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