]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/legacy/Makefile
- the theory of delifting substitution is done
[helm.git] / matita / matita / legacy / Makefile
1 DIR=$(shell basename $$PWD)
2 MATITAOPTIONS=-onepass
3
4 $(DIR) all:
5         ../matitac $(MATITAOPTIONS)
6 $(DIR).opt opt all.opt:
7         ../matitac.opt $(MATITAOPTIONS)
8 clean:
9         ../matitaclean $(MATITAOPTIONS)
10 clean.opt:
11         ../matitaclean.opt $(MATITAOPTIONS)
12 depend:
13         ../matitadep
14 depend.opt:
15         ../matitadep.opt