From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 10 Jan 2003 09:07:55 +0000 (+0000)
Subject: added dependency on 'http' library
X-Git-Tag: v0_3_99~52
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3c22cac92d5cd8fc9926d0a7c32b058f9ab8d212;p=helm.git

added dependency on 'http' library
---

diff --git a/helm/hbugs/common/Makefile b/helm/hbugs/common/Makefile
index 4055f88c9..0e25d75e1 100644
--- a/helm/hbugs/common/Makefile
+++ b/helm/hbugs/common/Makefile
@@ -1,10 +1,11 @@
-REQUIRES = pcre pxp
+REQUIRES = pcre pxp http
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
 OCAMLC = ocamlfind ocamlc $(COMMONOPTS)
 OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS)
 OCAMLDEP = ocamlfind ocamldep $(COMMONOPTS)
 MODULES =	\
-	hbugs_types threadSafe hbugs_misc hbugs_id_generator hbugs_messages
+	hbugs_types threadSafe hbugs_misc	\
+	hbugs_id_generator hbugs_messages
 
 OBJS = $(patsubst %,%.cmo,$(MODULES))
 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))