summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGrégoire Duchêne <gduchene@awhk.org>2014-09-10 18:42:40 +0200
committerGrégoire Duchêne <gduchene@awhk.org>2014-09-24 16:05:24 +0200
commit5186ff832d1a1771aa103d1dcd8b73cb04e0a3b8 (patch)
tree631b9b7f559a10632c1157034fcfe0d6ccdfdc2f
parented82731e63f8779c12f705ff3ac0f684872b96c9 (diff)
Automatically generate the dependency file
-rw-r--r--gnu.ocaml.prog.mk12
1 files changed, 6 insertions, 6 deletions
diff --git a/gnu.ocaml.prog.mk b/gnu.ocaml.prog.mk
index 77d211d..cb88f40 100644
--- a/gnu.ocaml.prog.mk
+++ b/gnu.ocaml.prog.mk
@@ -53,14 +53,14 @@ OBJ+= $(patsubst %.ml, %.cmo, $(filter %.ml, $(SRC)))
CLEAN+= $(patsubst %.cmo, %.cmi, $(OBJ))
endif
-all: ${PROG}
-$(PROG): $(OBJ)
- $(OCAMLC) $(OCAMLFLAGS) -o $@ $^
-clean:
- $(RM) $(CLEAN) $(OBJ) $(PROG)
-dep:
+$(DEPFILE): $(wildcard *.ml)
printf "SRC+=\t%s\n" `ocamldep -sort *.ml` > $(DEPFILE)
printf "\n%s\n" "`ocamldep *.mli *.ml`" >> $(DEPFILE)
+$(PROG): $(DEPFILE) $(OBJ)
+ $(OCAMLC) $(OCAMLFLAGS) -o $@ $(filter-out $(DEPFILE), $^)
+all: $(PROG)
+clean:
+ $(RM) $(CLEAN) $(OBJ) $(PROG)
dist-clean: clean
$(RM) $(DEPFILE)