From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sun, 1 Dec 2002 20:01:06 +0000 (+0000)
Subject: use '-thread' option only when linking
X-Git-Tag: V_0_0_6~25
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=226d77d9a27dd9f79c22498aa884d246da61e22e;p=helm.git

use '-thread' option only when linking
---

diff --git a/helm/uwobo/src/ocaml/Makefile b/helm/uwobo/src/ocaml/Makefile
index 38eb50801..0004d15d5 100644
--- a/helm/uwobo/src/ocaml/Makefile
+++ b/helm/uwobo/src/ocaml/Makefile
@@ -1,7 +1,7 @@
-REQUIRES = http gdome2 gdome2-xslt threads pcre unix
+REQUIRES = http gdome2 gdome2-xslt pcre unix threads
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
-OCAMLC = ocamlfind ocamlc $(COMMONOPTS) -thread
-OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS) -thread
+OCAMLC = ocamlfind ocamlc $(COMMONOPTS)
+OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS)
 OCAMLDEP = ocamlfind ocamldep $(COMMONOPTS)
 MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine uwobo
 OBJS = $(patsubst %,%.cmo,$(MODULES))
@@ -27,9 +27,9 @@ uwobo.cmo: uwobo.ml
 uwobo.cmx: uwobo.ml
 	$(OCAMLOPT) -c $<
 uwobo: $(OBJS)
-	$(OCAMLC) -linkpkg -o $@ $^
+	$(OCAMLC) -linkpkg -thread -o $@ $^
 uwobo.opt: $(OBJSOPT)
-	$(OCAMLOPT) -linkpkg -o $@ $^
+	$(OCAMLOPT) -linkpkg -thread -o $@ $^
 
 clean:
 	rm -f *.cm[aiox] *.o uwobo{,.opt}