X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Frdfly%2FMakefile;h=92fdb740ede4808dff35da33ff93d81c11c59b43;hb=b38de2d3fa8bbe346c59c18bbeb889f29e493f63;hp=133763e6207b3940628d3309143f90ff9548be6b;hpb=d07851ade676917a00ad479fb427dff0dfd06ff3;p=helm.git

diff --git a/helm/DEVEL/rdfly/Makefile b/helm/DEVEL/rdfly/Makefile
index 133763e62..92fdb740e 100644
--- a/helm/DEVEL/rdfly/Makefile
+++ b/helm/DEVEL/rdfly/Makefile
@@ -1,5 +1,5 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = postgres
+REQUIRES = postgres http
 PREDICATES = 
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
 OCAMLFIND = ocamlfind