]> matita.cs.unibo.it Git - helm.git/blob - helm/software/matita/contribs/assembly/Makefile
Case c1 t1 vs c2 t2 where c1 and c2 are not splitted and t1 and t2
[helm.git] / helm / software / matita / contribs / assembly / Makefile
1 include ../Makefile.defs
2
3 DIR=$(shell basename $$PWD)
4
5 $(DIR) all:
6         $(BIN)matitac
7 $(DIR).opt opt all.opt:
8         $(BIN)matitac.opt
9 clean:
10         $(BIN)matitaclean
11 clean.opt:
12         $(BIN)matitaclean.opt
13 depend:
14         $(BIN)matitadep
15 depend.opt:
16         $(BIN)matitadep.opt