From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 17 Jan 2003 14:45:52 +0000 (+0000)
Subject: removed thread support options
X-Git-Tag: v0_3_99~26
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4cd97f80ee722b6de18b079c29496ed5c86b6823;p=helm.git

removed thread support options
---

diff --git a/helm/uwobo/src/ocaml/Makefile b/helm/uwobo/src/ocaml/Makefile
index 27583699b..0e6466069 100644
--- a/helm/uwobo/src/ocaml/Makefile
+++ b/helm/uwobo/src/ocaml/Makefile
@@ -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)
@@ -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: