From d3743c95bc18632db962f3961b9a0ab2bb9a90b2 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 6 Sep 2006 16:19:25 +0000 Subject: [PATCH] Bugs fixed: 1. matitamake now correctly creates dependencies of the form "A/f.mo: ..." (it used to create useless dependencies of the form "/T/A/f.mo: ...") 2. matitamake is now more (indeed too much) verbose when matitadep fails --- matita/template_makefile.in | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/matita/template_makefile.in b/matita/template_makefile.in index 0b46f4864..726196373 100644 --- a/matita/template_makefile.in +++ b/matita/template_makefile.in @@ -1,4 +1,4 @@ -SRC=$(shell find @ROOT@ -name "*.ma" -a -type f) +SRC=$(shell find @ROOT@ -name "*.ma" -a -type f | sed 's?^@ROOT@/??') TODO=$(SRC:%.ma=%.mo) MATITA_FLAGS= @@ -12,7 +12,7 @@ MATITAC=@CC@ MATITACLEAN=@CLEAN@ MATITADEP=@DEP@ -all: $(TODO) +all: $(TODO) clean: $(MATITACLEAN) $(MATITA_FLAGS) $(SRC) @@ -26,7 +26,8 @@ clean: fi @DEPFILE@ : $(SRC) - $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@ 2>@DEPFILE@.errors + $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@ 2>@DEPFILE@.errors \ + || (echo;cat @DEPFILE@.errors;echo;rm @DEPFILE@;false) # this is the depend for full targets like: # dir/dir/name.moo: dir/dir/name.ma dir/dep.moo -- 2.39.2