]> matita.cs.unibo.it Git - helm.git/blob - Makefile
147cb03fd99d30472b2278fdb402721a1bec159e
[helm.git] / 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