]> matita.cs.unibo.it Git - helm.git/blob - helm/matita/template_makefile.in
More profiling code.
[helm.git] / helm / matita / template_makefile.in
1 SRC=$(shell find @ROOT@ -name "*.ma" -a -type f)
2 TODO=$(SRC:%.ma=%.mo)
3
4 MATITAC=@CC@
5 MATITACLEAN=@CLEAN@
6 MATITADEP=@DEP@
7
8 all: $(TODO)
9
10 clean:
11         $(MATITACLEAN) $(SRC)
12         rm -f $(TODO)
13
14 %.moo:
15         ($(MATITAC) -q -I @ROOT@ $< | (grep -v "^make" || true))
16
17 @DEPFILE@ : $(SRC)
18         @DEP@ -I '@ROOT@' $^ > @DEPFILE@
19
20 # this is the depend for full targets like:
21 # dir/dir/name.moo: dir/dir/name.ma dir/dep.moo
22 -include @DEPFILE@