X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fformal_topology%2Fbin%2FMakefile;h=1f2421a9dd28e7be0e1ca6e60ae3ac426ddda82b;hb=c9a4185ac1fef28e5741b8671abf02e33d04ac0d;hp=3bfd0c9ee1401f5b3f9f6d52e8b1ac42e9d92d79;hpb=246f6c5ab89ddbec94dec411ba00daf987214688;p=helm.git

diff --git a/helm/software/matita/contribs/formal_topology/bin/Makefile b/helm/software/matita/contribs/formal_topology/bin/Makefile
index 3bfd0c9ee..1f2421a9d 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
-	ocamlopt -rectypes -o theory_explorer unix.cmxa theory_explorer.ml
+comb: comb.ml
+	ocamlfind ocamlc -linkpkg -package ocamlgraph,unix -o comb comb.ml