]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/contribs/library_auto/makefile
LAMBDA-TYPES: mma's recommitted because inline syntax changed
[helm.git] / helm / software / matita / contribs / library_auto / makefile
1 H=@
2
3 RT_BASEDIR=../
4 OPTIONS=-bench
5 MMAKE=$(RT_BASEDIR)matitamake $(OPTIONS)
6 CLEAN=$(RT_BASEDIR)matitaclean $(OPTIONS) 
7 MMAKEO=$(RT_BASEDIR)matitamake.opt $(OPTIONS)
8 CLEANO=$(RT_BASEDIR)matitaclean.opt $(OPTIONS) 
9
10 devel:=$(shell basename `pwd`)
11
12 ifneq "$(SRC)" ""
13   XXX="SRC=$(SRC)"
14 endif
15
16 all: preall
17         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) build $(devel)
18 clean: preall
19         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) clean $(devel)
20 cleanall: preall
21         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEAN) all
22
23 all.opt opt: preall.opt
24         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) build $(devel)
25 clean.opt: preall.opt
26         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) clean $(devel)
27 cleanall.opt: preall.opt
28         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MCLEANO) all
29
30 %.mo: preall
31         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) $@
32 %.mo.opt: preall.opt
33         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) $(@:.opt=)
34         
35 preall:
36         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKE) init $(devel)
37
38 preall.opt:
39         $(H)$(XXX) MATITA_FLAGS=$(MATITA_FLAGS) $(MMAKEO) init $(devel)