]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/contribs/procedural/Makefile.common
- lambda: first half of the standardization theorem is proved!
[helm.git] / matita / matita / contribs / procedural / Makefile.common
1 BIN = ../../../
2
3 DIR = $(shell basename $$PWD)
4
5 H = @
6
7 TRANSCRIPT = $(BIN)../components/binaries/transcript/transcript.opt
8
9 LOG = log.txt
10
11 MMAS = $(shell find -name "*.mma")
12 MAS = $(MMAS:%.mma=%.ma)
13
14 $(DIR) all:
15         $(H)$(RM) $(LOG)
16         $(H)$(BIN)matitac $(MATITAOPTIONS) 2>> $(LOG)
17 $(DIR).opt opt all.opt:
18         $(H)$(RM) $(LOG)
19         $(H)$(BIN)matitac.opt $(MATITAOPTIONS) 2>> $(LOG)
20
21 %.ma: 
22         $(H)$(RM) $(LOG)
23         $(H)$(BIN)matitac $(MATITAOPTIONS) $*.mma 2>> $(LOG)
24 %.mo: 
25         $(H)$(RM) $(LOG)
26         $(H)$(BIN)matitac $(MATITAOPTIONS) $*.ma 2>> $(LOG)
27 %.ma.opt: 
28         $(H)$(RM) $(LOG)
29         $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.mma 2>> $(LOG)
30 %.mo.opt: 
31         $(H)$(RM) $(LOG)
32         $(H)$(BIN)matitac.opt $(MATITAOPTIONS) $*.ma 2>> $(LOG)
33
34 clean:
35         $(H)$(BIN)matitaclean $(MATITAOPTIONS)
36         $(H)$(RM) $(MAS)
37 clean.opt:
38         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
39         $(H)$(RM) $(MAS)
40 depend:
41         $(H)(BIN)matitadep $(MATITAOPTIONS)
42 depend.opt:
43         $(H)$(BIN)matitadep.opt $(MATITAOPTIONS)
44
45 ifneq ($(strip $(MAS)),)
46 clean.ma:
47         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $(MAS)
48         $(H)$(RM) $(MAS)
49 else
50 clean.ma:
51         $(H)echo no files to clean
52 endif
53
54 mma: $(DEVEL).conf.xml clean.ma
55         $(H)$(TRANSCRIPT) $(TRANSCRIPTOPTIONS) -C $(BIN) $(DEVEL)
56
57 %.ts: $(DEVEL).conf.xml
58         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $*.ma
59         $(H)$(RM) $*.ma
60         $(H)$(TRANSCRIPT) $(TRANSCRIPTOPTIONS) -C $(BIN) $* $(DEVEL)
61