]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/client/Makefile
fixed a typo (inside a comment)
[helm.git] / helm / hbugs / client / Makefile
index dc5b3d91f8e55a5179f3c71ce999ece0822ed79d..220a3b198d8041a57855285c69c8763e64508a37 100644 (file)
@@ -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