branch for universe

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

diff --git a/matita/contribs/formal_topology/bin/Makefile b/matita/contribs/formal_topology/bin/Makefile
new file mode 100644 (file)
index 0000000..3bfd0c9
--- /dev/null
+++ b/matita/contribs/formal_topology/bin/Makefile
@@ -0,0 +1,2 @@
+theory_explorer: theory_explorer.ml
+       ocamlopt -rectypes -o theory_explorer unix.cmxa theory_explorer.ml