]> matita.cs.unibo.it Git - helm.git/commitdiff
use '-thread' option only when linking
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 20:01:06 +0000 (20:01 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 20:01:06 +0000 (20:01 +0000)
helm/uwobo/src/ocaml/Makefile

index 38eb508018906f87fc6768d9595f4817f0ebbe93..0004d15d58137209f44947d1adb4bdc5216a2d1c 100644 (file)
@@ -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}