]> matita.cs.unibo.it Git - helm.git/commitdiff
esplicitely add -thread parameter to all compiler invocations
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 3 Dec 2003 14:47:48 +0000 (14:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 3 Dec 2003 14:47:48 +0000 (14:47 +0000)
helm/http_getter/Makefile

index be5ff627fdd80c2e205ba513a3241e350661dba8..af2763b98adeabdb2a69846d985a7a6af989bb95 100644 (file)
@@ -8,8 +8,8 @@ DOCS = doc/http_getter.conf.xml.sample
 REQUIRES = http dbm pcre netclient pxp shell threads zip
 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        \