]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/Makefile.common.in
removed useless -thread switch
[helm.git] / helm / ocaml / Makefile.common.in
index 15d0fdab1a782c57696e930841a14c907a9abf76..07720651ae7034666bce184d995dd1c4e35c55f3 100644 (file)
@@ -13,8 +13,8 @@ OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
 PREPROCOPTIONS = -pp camlp4o
 PREREQ =
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
-OCAMLC = ocamlfind ocamlc -thread $(OCAMLOPTIONS) $(PREPROCOPTIONS)
-OCAMLOPT = ocamlfind ocamlopt -thread $(OCAMLOPTIONS) $(PREPROCOPTIONS)
+OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) $(PREPROCOPTIONS)
+OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) $(PREPROCOPTIONS)
 OCAMLDEP = ocamlfind ocamldep $(PREPROCOPTIONS)
 OCAMLLEX = ocamllex
 OCAMLYACC = ocamlyacc