From a0bdf89fd9bf9dc126b156308e86885bdf04c9e5 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sun, 29 Oct 2006 09:32:07 +0000 Subject: [PATCH] Added target preall.opt. --- matita/template_makefile_devel.in | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) 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) -- 2.39.2