X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FsearchEngine%2FMakefile;h=13c4f1eda254dd2538a668b65a9d4436af4300bc;hb=9983d0f08f594ddc01700c972d2a2c0f47d32d59;hp=b0836f5b06a147f98e2d70a91f0f681d6f026323;hpb=ffb569818f6e4d9723dbd2c1721bbe80e75278e9;p=helm.git

diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile
index b0836f5b0..13c4f1eda 100644
--- a/helm/searchEngine/Makefile
+++ b/helm/searchEngine/Makefile
@@ -1,4 +1,4 @@
-REQUIRES = http dbi.mysql helm-cic_textual_parser2 helm-logger helm-tactics
+REQUIRES = http helm-cic_textual_parser2 helm-logger helm-tactics
 OCAMLOPTIONS = -thread -package "$(REQUIRES)" -pp camlp4o
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)