support for terms with metas in check

[helm.git] / helm / searchEngine / Makefile

diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile
index b0836f5b06a147f98e2d70a91f0f681d6f026323..13c4f1eda254dd2538a668b65a9d4436af4300bc 100644 (file)
--- 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)