]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/common/Makefile
fixed a typo (inside a comment)
[helm.git] / helm / hbugs / common / Makefile
index 94c354f044a880981bc56b95ac2a524ae18e43eb..ca95aae243384c12e66c724c1cd5385fcc43f60e 100644 (file)
@@ -1,8 +1,8 @@
 REQUIRES = helm-xml helm-pxp pcre pxp http
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
 OCAMLFIND = ocamlfind
-OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)
-OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMONOPTS)
+OCAMLC = $(OCAMLFIND) ocamlc -thread $(COMMONOPTS)
+OCAMLOPT = $(OCAMLFIND) ocamlopt -thread $(COMMONOPTS)
 OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMONOPTS)
 OCAMLDOC =     \
        ocamldoc        \