From d0f70560eab72844505087c43620edf19eba7412 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 4 Dec 2003 16:58:06 +0000 Subject: [PATCH] added -thread option where needed to make new findlib happy --- helm/hbugs/client/Makefile | 4 ++-- helm/hbugs/common/Makefile.overrides | 4 ++-- helm/hbugs/tutors/Makefile | 4 ++-- 3 files changed, 6 insertions(+), 6 deletions(-) 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 -- 2.39.2