From fc3905723045da4c212fa16aa6545e21c2628b9b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr> Date: Thu, 24 Jun 2010 03:31:57 +0200 Subject: [PATCH] Bug in the Makefile ? GENSOURCES removed from .depend dependencies. (circular issue) FIXME Makefile to deal with the news files --- compiler/Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/compiler/Makefile b/compiler/Makefile index cd9d19b..a39de73 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -1,4 +1,3 @@ -# $Id$ DATE = \`eval date\` LIBDIR = \`eval pwd\`/../lib @@ -162,7 +161,7 @@ debug: byte profile: OCAMLOPTFLAGS += -p profile: opt -depend .depend: $(GENSOURCES) +depend .depend: (for d in $(DIRECTORIES); \ do $(OCAMLDEP) $(INCLUDES) $$d/*.mli $$d/*.ml; \ done) > .depend @@ -225,4 +224,6 @@ ML = $(OBJ:.cmo=.ml) wc: wc $(ML) + + include .depend