]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/contribs/dama/dama/Makefile
branch for universe
[helm.git] / matita / contribs / dama / dama / Makefile
diff --git a/matita/contribs/dama/dama/Makefile b/matita/contribs/dama/dama/Makefile
new file mode 100644 (file)
index 0000000..d40c9e6
--- /dev/null
@@ -0,0 +1,16 @@
+include ../../Makefile.defs
+
+DIR=$(shell basename $$PWD)
+
+$(DIR) all:
+       $(BIN)../matitac
+$(DIR).opt opt all.opt:
+       $(BIN)../matitac.opt
+clean:
+       $(BIN)../matitaclean
+clean.opt:
+       $(BIN)../matitaclean.opt
+depend:
+       $(BIN)../matitadep
+depend.opt:
+       $(BIN)../matitadep.opt