]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/tests/Makefile
update in basic_2
[helm.git] / matitaB / matita / tests / Makefile
1 DIR=$(shell basename $$PWD)
2
3 $(DIR) all:
4         ../matitac 2>/dev/null
5 $(DIR).opt opt all.opt:
6         ../matitac.opt 2>/dev/null
7 clean:
8         ../matitaclean
9 clean.opt:
10         ../matitaclean.opt
11 depend:
12         ../matitadep
13 depend.opt:
14         ../matitadep.opt