X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2FMakefile;h=220a3b198d8041a57855285c69c8763e64508a37;hb=9f60b3b0f4460aec52ec241037f6c475b421dd15;hp=5cb7c6c6d884c9144b9e3af1c37a868572aa58d8;hpb=de5806b393edcff7f4c7cda2e48b11b1a002dde2;p=helm.git

diff --git a/helm/hbugs/client/Makefile b/helm/hbugs/client/Makefile
index 5cb7c6c6d..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))
@@ -16,7 +16,8 @@ byte: $(NAME)
 opt: $(NAME).opt
 
 hbugs_client_gui.ml: hbugs_gui.glade
-	lablgladecc2 $< > $@
+	lablgladecc2 $< > $@.tmp
+	mv $@.tmp $@
 hbugs_client_gui.cmo: hbugs_client_gui.ml
 	$(OCAMLC) -c $<
 hbugs_client_gui.cmx: hbugs_client_gui.ml
@@ -24,9 +25,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