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