summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGrégoire Duchêne <gduchene@awhk.org>2014-09-01 17:59:10 +0200
committerGrégoire Duchêne <gduchene@awhk.org>2014-09-24 15:59:39 +0200
commita79135e5f636a7bad84c665af13a00f8c5892cd1 (patch)
treef36ee111f3089ef7a4fc1a9418a86e4f4e6733d6
parent638d2159485e3605f5482aeda90506025a9f4d0f (diff)
Use DEPFILE to set the dependency filename
-rw-r--r--gnu.ocaml.prog.mk10
1 files changed, 7 insertions, 3 deletions
diff --git a/gnu.ocaml.prog.mk b/gnu.ocaml.prog.mk
index 8dbc129..d9dacac 100644
--- a/gnu.ocaml.prog.mk
+++ b/gnu.ocaml.prog.mk
@@ -38,7 +38,11 @@ all: ${PROG}
SRC+= $(CSRC)
--include Makefile.dep
+ifndef DEPFILE
+DEPFILE= .Makefile.dep
+endif
+
+-include $(DEPFILE)
ifdef CSRC
ifndef OCAMLNATIVE
@@ -62,8 +66,8 @@ $(PROG): $(OBJ)
clean:
$(RM) $(CLEAN) $(OBJ) $(PROG)
dep:
- printf "SRC+=\t%s\n" `ocamldep -sort *.ml` > Makefile.dep
- printf "\n%s\n" "`ocamldep *.mli *.ml`" >> Makefile.dep
+ printf "SRC+=\t%s\n" `ocamldep -sort *.ml` > $(DEPFILE)
+ printf "\n%s\n" "`ocamldep *.mli *.ml`" >> $(DEPFILE)
.DEFAULT_GOAL:= $(PROG)
.SUFFIXES: