From 7f535099b99e90107722cdbdcc40b447ba52054f Mon Sep 17 00:00:00 2001 From: "Michael D. Lowis" Date: Mon, 28 Aug 2017 20:07:37 -0400 Subject: [PATCH] added dependency generation to build --- .gitignore | 1 + Makefile | 8 ++++---- 2 files changed, 5 insertions(+), 4 deletions(-) diff --git a/.gitignore b/.gitignore index ac738f1..a1a1183 100644 --- a/.gitignore +++ b/.gitignore @@ -6,3 +6,4 @@ *.cmi *.a edit +dlltide.so diff --git a/Makefile b/Makefile index 3858c06..251338d 100644 --- a/Makefile +++ b/Makefile @@ -32,15 +32,16 @@ LIBOBJS = \ all: edit clean: - $(RM) tide *.cm* *.o *.a *.so - $(RM) tide lib/*.cm* lib/*.o + $(RM) deps.mk tide *.cm* *.o *.a *.so lib/*.cm* lib/*.o # Executable targets edit: tide.$(LIBEXT) edit.$(OBJEXT) # Library targets tide.$(LIBEXT): $(LIBOBJS) -lib/tide.$(OBJEXT): lib/tide.$(IFEXT) + +deps.mk: + ocamldep *.ml* lib/*.ml* > deps.mk -include deps.mk @@ -56,7 +57,6 @@ lib/tide.$(OBJEXT): lib/tide.$(IFEXT) $(OC) $(OCFLAGS) -c -o $@ $< -I . -I lib %.$(LIBEXT): - ocamldep *.ml* lib/*.ml* > deps.mk $(MKLIB) $(MKLIBFLAGS) $(OCFLAGS) -o $* -oc $* $^ %.o: %.c -- 2.49.0