X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fformal_topology%2Fbin%2FMakefile;h=3bfd0c9ee1401f5b3f9f6d52e8b1ac42e9d92d79;hb=0a443e57d4951768408fc7e1a4397dc67b31047b;hp=b02798067efa981489382f1cd8be556ad3c8325e;hpb=99ca90bf28a25fcd1cd84596c37be43c97f74e6e;p=helm.git

diff --git a/helm/software/matita/contribs/formal_topology/bin/Makefile b/helm/software/matita/contribs/formal_topology/bin/Makefile
index b02798067..3bfd0c9ee 100644
--- a/helm/software/matita/contribs/formal_topology/bin/Makefile
+++ b/helm/software/matita/contribs/formal_topology/bin/Makefile
@@ -1,2 +1,2 @@
 theory_explorer: theory_explorer.ml
-	ocamlc -g -rectypes -o theory_explorer unix.cma theory_explorer.ml
+	ocamlopt -rectypes -o theory_explorer unix.cmxa theory_explorer.ml