]> matita.cs.unibo.it Git - helm.git/blob - matita/template_makefile.in
Yet another localization error in eat_prods fixed.
[helm.git] / matita / template_makefile.in
1 SRC=$(shell find @ROOT@ -name "*.ma" -a -type f)
2 SHORTSRC=$(echo $(SRC) | sed 's?^@ROOT@/??g')
3 TODO=$(SRC:%.ma=%.mo)
4
5 MATITA_FLAGS=
6 MATITA_FLAGS+=-noprofile
7 NODB=false
8 ifeq ($(NODB),true)
9         MATITA_FLAGS += -nodb
10 endif
11
12 MATITAC=@CC@
13 MATITACLEAN=@CLEAN@
14 MATITADEP=@DEP@
15
16 all: $(TODO) 
17
18 clean:
19         $(MATITACLEAN) $(MATITA_FLAGS) $(SRC) 
20         rm -f $(TODO)
21
22 %.moo:
23         if [ -z "$<" ]; then \
24                 echo "missing dependencies for $@"; \
25         else \
26                 $(MATITAC) $(MATITA_FLAGS) -q -I @ROOT@ $<; \
27         fi
28
29 @DEPFILE@ : $(SRC)
30         $(MATITADEP) $(MATITA_FLAGS) -I '@ROOT@' -dot @DEPFILE@.dot $^ \
31                 1> @DEPFILE@ 2>@DEPFILE@.errors \
32                 || (echo;cat @DEPFILE@.errors;echo;rm @DEPFILE@;false)
33
34 # this is the depend for full targets like:
35 # dir/dir/name.moo: dir/dir/name.ma dir/dep.moo
36 include @DEPFILE@