]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/client/Makefile
- removed some unneeded dependencies from debian/control
[helm.git] / helm / hbugs / client / Makefile
index 19491ded7ec174af636dd9be416be9e0ce2911ed..186931e98211309178083c2fe98fc4cc52dd29c7 100644 (file)
@@ -1,6 +1,6 @@
 NAME = hbugs_client
 METADIR = ../meta
-REQUIRES = lablgtk threads hbugs-common
+REQUIRES = lablgtk2 threads hbugs-common
 PREDICATES = glade init
 COMMONOPTS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
 OCAMLC = OCAMLPATH="$(METADIR)" ocamlfind ocamlc $(COMMONOPTS)
@@ -16,7 +16,8 @@ byte: $(NAME)
 opt: $(NAME).opt
 
 hbugs_client_gui.ml: hbugs_gui.glade
-       lablgladecc $< > $@
+       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