severe bug found in parallel zeta

[helm.git] / matita / components / binaries / Makefile.common

diff --git a/matita/components/binaries/Makefile.common b/matita/components/binaries/Makefile.common
index 8f8033dbb9f6ad327f65a43c77f2986b3251c537..78733ed391afb90b53d75acc62cc0d30ea3ba228 100644 (file)
--- a/matita/components/binaries/Makefile.common
+++ b/matita/components/binaries/Makefile.common
@@ -9,7 +9,7 @@ OCAMLOPTIONS = -linkpkg -thread -rectypes -package \"$(REQUIRES)\"
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS) 
 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS)
 
-all:
+opt:
        @echo "  OCAMLBUILD $(EXEC).native" 
        $(H)ocamlbuild -ocamlc "$(OCAMLC)" -ocamlopt "$(OCAMLOPT)" $(EXEC).native