From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 1 Jul 2005 16:00:53 +0000 (+0000)
Subject: Makefile improved
X-Git-Tag: PRE_GETTER_STORAGE~52
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9cd95ba4575b0671c49d9da10e886bc9aa7be0d9;p=helm.git

Makefile improved
---

diff --git a/helm/matita/library/Makefile b/helm/matita/library/Makefile
index 4df43ba60..24417790f 100644
--- a/helm/matita/library/Makefile
+++ b/helm/matita/library/Makefile
@@ -1,23 +1,30 @@
-TODO=\
-	bool.moo\
-	compare.moo\
-	equality.moo\
-	logic.moo\
-	nat.moo \
-        Z.moo
+SRC=\
+	bool.ma\
+	compare.ma\
+	equality.ma\
+	logic.ma\
+	nat.ma \
+        Z.ma
 
 DEPEND_NAME=.depend
+LINKS=.matita matita.lang matita.conf.xml
 
-all: links $(TODO)
+all: $(LINKS) $(SRC:%.ma=%.moo)
 
-clean:
-	rm -f $(DEPEND_NAME) $(TODO) 
+clean: $(LINKS)
+	rm -f $(SRC:%.ma=%.moo)
 	../matitaclean all
 
-# Let's prepare the environment
-links: .matita matita.lang matita.conf.xml
-.PHONY: links
+depend: $(DEPEND_NAME)
 
+%.moo:%.ma depend $(LINKS)
+	[ ! -e $@ ] || ../matitaclean $< 
+	../matitac $< || ../matitaclean $<
+
+$(DEPEND_NAME): $(SRC) $(LINKS)
+	../matitadep $(SRC) > $@
+
+# Let's prepare the environment
 .matita:
 	ln -s ../.matita .
 
@@ -28,13 +35,4 @@ matita.conf.xml:
 	ln -s ../matita.conf.xml .
 #done
 
-depend: $(DEPEND_NAME)
-
-%.moo:%.ma
-	[ ! -e $@ ] || ../matitaclean $< 
-	../matitac $< || ../matitaclean $<
-
-$(DEPEND_NAME): $(TODO:%.moo=%.ma)
-	../matitadep $^ > $@
-
 include $(DEPEND_NAME)