X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Fclient%2FMakefile;h=a802caf3fd28ea1f703d881be039c41f62356a1e;hb=debd36999fff2024ccb0cee207ae5af7e3ea0e9b;hp=dc5b3d91f8e55a5179f3c71ce999ece0822ed79d;hpb=d0f70560eab72844505087c43620edf19eba7412;p=helm.git

diff --git a/helm/hbugs/client/Makefile b/helm/hbugs/client/Makefile
index dc5b3d91f..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))
@@ -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