]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/client/Makefile
added -thread switch and dependency on lablgtk2.glade
[helm.git] / helm / hbugs / client / Makefile
index 186931e98211309178083c2fe98fc4cc52dd29c7..a802caf3fd28ea1f703d881be039c41f62356a1e 100644 (file)
@@ -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))