]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/src/ocaml/Makefile
debian release 0.0.4-1
[helm.git] / helm / uwobo / src / ocaml / Makefile
index 4c5f463f9b84630efccd025ac5cca6bdf18f59a9..0e64660695ae254ce4ea4d7cffd6e89d8add7531 100644 (file)
@@ -1,6 +1,6 @@
 VERSION = 0.0.1
 DISTDIR = uwobo-$(VERSION)
-REQUIRES = http gdome2 gdome2-xslt pcre unix threads
+REQUIRES = http gdome2 gdome2-xslt pcre unix
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
 OCAMLC = ocamlfind ocamlc $(COMMONOPTS)
 OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS)
@@ -9,7 +9,7 @@ MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine
 OBJS = $(patsubst %,%.cmo,$(MODULES))
 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
 
-all: world
+all: byte
 byte: uwobo
 opt: uwobo.opt
 world: byte opt
@@ -29,9 +29,9 @@ uwobo.cmo: uwobo.ml
 uwobo.cmx: uwobo.ml
        $(OCAMLOPT) -c $<
 uwobo: $(OBJS) uwobo.ml
-       $(OCAMLC) -linkpkg -thread -o $@ $^
+       $(OCAMLC) -linkpkg -o $@ $^
 uwobo.opt: $(OBJSOPT) uwobo.ml
-       $(OCAMLOPT) -linkpkg -thread -o $@ $^
+       $(OCAMLOPT) -linkpkg -o $@ $^
 
 distclean: clean
 clean: