From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 4 Dec 2003 16:58:06 +0000 (+0000)
Subject: added -thread option where needed to make new findlib happy
X-Git-Tag: V_0_2_2~18
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d0f70560eab72844505087c43620edf19eba7412;p=helm.git

added -thread option where needed to make new findlib happy
---

diff --git a/helm/hbugs/client/Makefile b/helm/hbugs/client/Makefile
index 5cb7c6c6d..dc5b3d91f 100644
--- a/helm/hbugs/client/Makefile
+++ b/helm/hbugs/client/Makefile
@@ -24,9 +24,9 @@ hbugs_client_gui.cmx: hbugs_client_gui.ml
 hbugs_client.cmi: hbugs_client.mli
 	$(OCAMLC) -c $<
 hbugs_client.cmo: hbugs_client.ml hbugs_client.cmi
-	$(OCAMLC) -c $<
+	$(OCAMLC) -thread -c $<
 hbugs_client.cmx: hbugs_client.ml hbugs_client.cmi
-	$(OCAMLOPT) -c $<
+	$(OCAMLOPT) -thread -c $<
 $(NAME): $(DEPS) hbugs_client_gui.cmo $(NAME).cmo main.ml
 	$(OCAMLC) -thread -package threads -linkpkg -o $@ hbugs_client_gui.cmo $(NAME).cmo main.ml
 $(NAME).opt: $(DEPSOPT) hbugs_client_gui.cmx $(NAME).cmx main.ml
diff --git a/helm/hbugs/common/Makefile.overrides b/helm/hbugs/common/Makefile.overrides
index f1ce52121..62506b505 100644
--- a/helm/hbugs/common/Makefile.overrides
+++ b/helm/hbugs/common/Makefile.overrides
@@ -1,6 +1,6 @@
 hbugs_types.cmi hbugs_types.cmo: hbugs_types.ml
 	$(OCAMLC) -c $<
 threadSafe.cmi threadSafe.cmo: threadSafe.ml
-	$(OCAMLC) -package threads -c $<
+	$(OCAMLC) -thread -package threads -c $<
 threadSafe.cmx: threadSafe.ml threadSafe.cmi
-	$(OCAMLOPT) -package threads -c $<
+	$(OCAMLOPT) -thread -package threads -c $<
diff --git a/helm/hbugs/tutors/Makefile b/helm/hbugs/tutors/Makefile
index fed96f966..f0044dfc6 100644
--- a/helm/hbugs/tutors/Makefile
+++ b/helm/hbugs/tutors/Makefile
@@ -4,8 +4,8 @@ REQUIRES = threads hbugs-common helm-cic_proof_checking helm-getter \
         helm-mathql helm-mathql_interpreter helm-tactics  
 COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLFIND = ocamlfind
-OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)
-OCAMLOPT = $(OCAMLFIND) opt $(COMMONOPTS)
+OCAMLC = $(OCAMLFIND) ocamlc -thread $(COMMONOPTS)
+OCAMLOPT = $(OCAMLFIND) opt -thread $(COMMONOPTS)
 OCAMLDEP = $(OCAMLFIND) ocamldep -package "$(REQUIRES)"
 LINK_OPTIONS = -thread -package threads -linkpkg
 TUTORS_TEMPLATE = hbugs_tutor.TPL.ml