]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/template_makefile.in
726196373fc23a4567b474af8c47bd3698977716
[helm.git] / helm / software / matita / template_makefile.in
1 SRC=$(shell find @ROOT@ -name "*.ma" -a -type f | sed 's?^@ROOT@/??')
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         if [ -z "$<" ]; then \
23                 echo "missing dependencies for $@"; \
24         else \
25                 $(MATITAC) $(MATITA_FLAGS) -q -I @ROOT@ $<; \
26         fi
27
28 @DEPFILE@ : $(SRC)
29         $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' $^ 1> @DEPFILE@ 2>@DEPFILE@.errors \
30                 || (echo;cat @DEPFILE@.errors;echo;rm @DEPFILE@;false)
31
32 # this is the depend for full targets like:
33 # dir/dir/name.moo: dir/dir/name.ma dir/dep.moo
34 -include @DEPFILE@