]> matita.cs.unibo.it Git - helm.git/commitdiff
added dependency on 'http' library
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:07:55 +0000 (09:07 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 Jan 2003 09:07:55 +0000 (09:07 +0000)
helm/hbugs/common/Makefile

index 4055f88c985df77c1e6f8116e2d611e0bb35c3f1..0e25d75e1c115df6867a93545de6cf24587b94b8 100644 (file)
@@ -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))