]> matita.cs.unibo.it Git - helm.git/blob - Makefile
28fe09079f84806f751a0a68517b5a4aec05b707
[helm.git] / Makefile
1 include ../Makefile.defs
2
3 DIR=$(shell basename $$PWD)
4
5 H=@
6
7 MATITAOPTIONS=$(MATITAUSEROPTIONS) -onepass
8
9 LOG = log.txt
10
11 DEVELS = Legacy-2 Base-2 LambdaDelta-2
12
13 MAS = $(shell find $(DEVELS) -mindepth 2 -name "*.ma")
14
15 $(DIR) all:
16         $(H)$(RM) $(LOG)
17         $(H)$(BIN)matitac $(MATITAOPTIONS) 2>> $(LOG)
18 $(DIR).opt opt all.opt:
19         $(H)$(RM) $(LOG)
20         $(H)$(BIN)matitac.opt $(MATITAOPTIONS) 2>> $(LOG)
21 clean:
22         $(H)$(BIN)matitaclean $(MATITAOPTIONS)
23         $(H)$(RM) $(MAS)
24 clean.opt:
25         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS)
26         $(H)$(RM) $(MAS)
27 depend:
28         $$(H)(BIN)matitadep $(MATITAOPTIONS)
29 depend.opt:
30         $(H)$(BIN)matitadep.opt $(MATITAOPTIONS)
31
32 ifneq ($(strip $(MAS)),)
33 clean.ma:
34         $(H)$(BIN)matitaclean.opt $(MATITAOPTIONS) $(MAS)
35         $(H)$(RM) $(MAS)
36 else
37 clean.ma:
38         $(H)echo no files to clean
39 endif