]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/contribs/dama/dama/Makefile
- predefined_virtuals: some additions
[helm.git] / matita / matita / contribs / dama / dama / 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 -dot && rm depends.dot
15 depend.opt:
16         $(BIN)../matitadep.opt -dot && rm depends.dot