Stuff moved from old Matita.

[helm.git] / matita / matita / contribs / formal_topology / overlap / Makefile

diff --git a/matita/matita/contribs/formal_topology/overlap/Makefile b/matita/matita/contribs/formal_topology/overlap/Makefile
new file mode 100644 (file)
index 0000000..92a16d1
--- /dev/null
+++ b/matita/matita/contribs/formal_topology/overlap/Makefile
@@ -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 -dot && rm depends.dot
+depend.opt:
+       $(BIN)../matitadep.opt -dot && rm depends.dot