]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/template_makefile.in
Bug fixed: rewrite > t where t had occurrences of metavariables in it could
[helm.git] / helm / software / matita / template_makefile.in
1 SRC=$(shell find @ROOT@ -name "*.ma" -a -type f)
2 TODO=$(SRC:%.ma=%.mo)
3
4 MATITA_FLAGS=
5 MATITA_FLAGS+=-noprofile
6 NODB=false
7 ifeq ($(NODB),true)
8         MATITA_FLAGS += -nodb
9 endif
10
11 MATITAC=@CC@
12 MATITACLEAN=@CLEAN@
13 MATITADEP=@DEP@
14
15 all: $(TODO)
16
17 clean:
18         $(MATITACLEAN) $(MATITA_FLAGS) $(SRC) 
19         rm -f $(TODO)
20
21 %.moo:
22         $(MATITAC) $(MATITA_FLAGS) -q -I @ROOT@ $<
23
24 @DEPFILE@ : $(SRC)
25         $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@ 
26
27 # this is the depend for full targets like:
28 # dir/dir/name.moo: dir/dir/name.ma dir/dep.moo
29 -include @DEPFILE@