]> matita.cs.unibo.it Git - helm.git/blob - Makefile
a57a7281eb33a855baac39626b3332c395559f9b
[helm.git] / 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
10 clean.opt:
11         ../../../matitaclean.opt
12 depend:
13         ../../../matitadep
14 depend.opt:
15         ../../../matitadep.opt