]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/common/Makefile
added dependency on 'http' library
[helm.git] / 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))