X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2FMakefile;h=220a3b198d8041a57855285c69c8763e64508a37;hb=b9ebf95eff0c4a1d7e316b589cf14ad6b19d711f;hp=186931e98211309178083c2fe98fc4cc52dd29c7;hpb=1dfb1e289fe05a043cc671a9294f78cd16eb3d18;p=helm.git

diff --git a/helm/hbugs/client/Makefile b/helm/hbugs/client/Makefile
index 186931e98..220a3b198 100644
--- a/helm/hbugs/client/Makefile
+++ b/helm/hbugs/client/Makefile
@@ -1,10 +1,10 @@
 NAME = hbugs_client
 METADIR = ../meta
-REQUIRES = lablgtk2 threads hbugs-common
+REQUIRES = lablgtk2 threads hbugs-common lablgtk2.glade
 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))