3 MATITAOPTIONS=$(MATITAUSEROPTIONS) -onepass
5 DIR=$(shell basename $$PWD)
7 MMAS = $(shell find Legacy-2 Base-2 -name "*.mma")
8 MAS = $(MMAS:%.mma=%.ma)
9 XMAS = Legacy-2/theory.ma Base-2/theory.ma LambdaDelta-2/theory.ma
12 $(H)$(MAKE) H=$(H) --no-print-directory build
14 $(DIR).opt opt all.opt: depends
15 $(H)$(MAKE) H=$(H) --no-print-directory build.opt
18 $(H)echo Legacy-2/theory.ma `../../matitadep.opt -stdout Legacy-2/theory.ma` >> depends
19 $(H)echo Base-2/theory.ma `../../matitadep.opt -stdout Base-2/theory.ma` >> depends
20 $(H)../../matitac $(MATITAOPTIONS) 2> /dev/null
24 $(H)echo Legacy-2/theory.ma `../../matitadep.opt -stdout Legacy-2/theory.ma` >> depends
25 $(H)echo Base-2/theory.ma `../../matitadep.opt -stdout Base-2/theory.ma` >> depends
26 $(H)../../matitac.opt $(MATITAOPTIONS) 2> /dev/null
30 $(H)../../matitaclean $(MATITAOPTIONS)
31 $(H)rm -f $(MAS) depends
34 $(H)../../matitaclean.opt $(MATITAOPTIONS)
35 $(H)rm -f $(MAS) depends
38 $(H)../../matitaclean.opt $(MATITAOPTIONS) $(MAS)
39 $(H)rm -f $(MAS) depends
43 $(H)../../matitadep $(foreach FILE,$(XMAS),-exclude $(FILE))
44 $(H)cat Legacy-2/depends Base-2/depends >> depends
48 $(H)../../matitadep.opt $(foreach FILE,$(XMAS),-exclude $(FILE))
49 $(H)cat Legacy-2/depends Base-2/depends >> depends
54 $(H)../../matitac.opt $(MATITAOPTIONS) $(word 3,$(shell grep -h $< */depends)) `../../matitadep.opt -stdout $<` 2> /dev/null
55 $(H)../../matitac.opt $(MATITAOPTIONS) -dump $@ $< 2> /dev/null
56 $(H)echo $@ `../../matitadep.opt -stdout $@` >> depends
58 include Legacy-2/.depend
59 include Base-2/.depend