From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 22 Jan 2004 16:24:49 +0000 (+0000)
Subject: added -thread switch and dependency on lablgtk2.glade
X-Git-Tag: V_0_5_1_4~7
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=debd36999fff2024ccb0cee207ae5af7e3ea0e9b;p=helm.git

added -thread switch and dependency on lablgtk2.glade
---

diff --git a/helm/hbugs/broker/Makefile b/helm/hbugs/broker/Makefile
index fe1bf71e9..e4cb57236 100644
--- a/helm/hbugs/broker/Makefile
+++ b/helm/hbugs/broker/Makefile
@@ -1,10 +1,10 @@
 NAME = hbugs_broker
 METADIR = ../meta
-REQUIRES = http threads hbugs-common hbugs-thread-safe
+REQUIRES = http threads hbugs-common hbugs-thread-safe threads
 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)
 MODULES = hbugs_broker_registry
 OCAMLDOC =	\
diff --git a/helm/hbugs/client/Makefile b/helm/hbugs/client/Makefile
index 186931e98..a802caf3f 100644
--- a/helm/hbugs/client/Makefile
+++ b/helm/hbugs/client/Makefile
@@ -3,8 +3,8 @@ METADIR = ../meta
 REQUIRES = lablgtk2 threads hbugs-common
 PREDICATES = glade init
 COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
-OCAMLC = OCAMLPATH="$(METADIR)" ocamlfind ocamlc $(COMMONOPTS)
-OCAMLOPT = OCAMLPATH="$(METADIR)" ocamlfind ocamlopt $(COMMONOPTS)
+OCAMLC = OCAMLPATH="$(METADIR)" ocamlfind ocamlc -thread $(COMMONOPTS)
+OCAMLOPT = OCAMLPATH="$(METADIR)" ocamlfind ocamlopt -thread $(COMMONOPTS)
 OCAMLFIND = ocamlfind
 
 DEPS = $(shell $(OCAMLFIND) query -recursive -predicates byte -format "%d/%a" $(REQUIRES))
diff --git a/helm/hbugs/common/Makefile b/helm/hbugs/common/Makefile
index 94c354f04..ca95aae24 100644
--- a/helm/hbugs/common/Makefile
+++ b/helm/hbugs/common/Makefile
@@ -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	\
diff --git a/helm/hbugs/meta/META.hbugs-client.in b/helm/hbugs/meta/META.hbugs-client.in
index b7308ea61..5b82251cd 100644
--- a/helm/hbugs/meta/META.hbugs-client.in
+++ b/helm/hbugs/meta/META.hbugs-client.in
@@ -1,4 +1,4 @@
-requires="pcre pxp http hbugs-common"
+requires="pcre pxp http hbugs-common lablgtk2.glade"
 directory="@HBUGS_CLIENT_DIR@"
 archive(byte) = "hbugs_client_gui.cmo hbugs_client.cmo"
 archive(native) = "hbugs_client_gui.cmx hbugs_client.cmx"