X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Frdfly%2FMakefile;h=779bb7b44c9cc6de0424a91e78194128b3becbf6;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=92fdb740ede4808dff35da33ff93d81c11c59b43;hpb=e325d6831ba5bbad0c8892072ffdedf50aa10b39;p=helm.git

diff --git a/helm/DEVEL/rdfly/Makefile b/helm/DEVEL/rdfly/Makefile
index 92fdb740e..779bb7b44 100644
--- a/helm/DEVEL/rdfly/Makefile
+++ b/helm/DEVEL/rdfly/Makefile
@@ -1,5 +1,5 @@
 BIN_DIR = /usr/local/bin
-REQUIRES = postgres http
+REQUIRES = mysql http helm-registry
 PREDICATES = 
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
 OCAMLFIND = ocamlfind
@@ -10,7 +10,10 @@ OCAMLDEP = ocamldep -pp camlp4o
 LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
 LIBRARIES_OPT = $(shell $(OCAMLFIND) query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
 
-OBJS = query.cmo
+OBJS = rdfly.cmo
+
+all: rdfly
+opt: rdfly.opt
 
 rdfly: $(OBJS) $(LIBRARIES)
 	$(OCAMLC) -linkpkg -o $@ $(OBJS)