]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/Makefile
Initial revision
[helm.git] / helm / uwobo / src / ocaml / Makefile
index 6030b6eca806d63d4d3e8a3c4e6a9bf93a88c65f..0004d15d58137209f44947d1adb4bdc5216a2d1c 100644 (file)
@@ -1,9 +1,9 @@
-REQUIRES = http gdome2 gdome2-xslt threads pcre
+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_styles uwobo_logger uwobo_engine uwobo
+MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine uwobo
 OBJS = $(patsubst %,%.cmo,$(MODULES))
 OBJSOPT = $(patsubst %,%.cmx,$(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}