From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sun, 29 Oct 2006 09:32:07 +0000 (+0000)
Subject: Added target preall.opt.
X-Git-Tag: 0.4.95@7852~839
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a0bdf89fd9bf9dc126b156308e86885bdf04c9e5;p=helm.git

Added target preall.opt.
---

diff --git a/matita/template_makefile_devel.in b/matita/template_makefile_devel.in
index 59aefa16d..73996380f 100644
--- a/matita/template_makefile_devel.in
+++ b/matita/template_makefile_devel.in
@@ -20,18 +20,20 @@ clean: preall
 cleanall: preall
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEAN) all
 
-all.opt opt: preall
+all.opt opt: preall.opt
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel)
-clean.opt: preall
+clean.opt: preall.opt
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) clean $(devel)
-cleanall.opt: preall
+cleanall.opt: preall.opt
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEANO) all
 
 %.mo: preall
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
-%.mo.opt: preall
+%.mo.opt: preall.opt
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $@
 	
 preall:
 	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)
 
+preall.opt:
+	$(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) init $(devel)