]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/client/Makefile
added -thread option where needed to make new findlib happy
[helm.git] / helm / hbugs / client / Makefile
index 5cb7c6c6d884c9144b9e3af1c37a868572aa58d8..dc5b3d91f8e55a5179f3c71ce999ece0822ed79d 100644 (file)
@@ -24,9 +24,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