From: Stefano Zacchiroli Date: Thu, 10 Feb 2005 09:55:02 +0000 (+0000) Subject: removed spurious dependency on Dbi_mysql X-Git-Tag: before_svn_merge~14 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ccb56bd6ddeec70a1fb32304aec60a0721d260cc;p=helm.git removed spurious dependency on Dbi_mysql --- 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) diff --git a/helm/searchEngine/searchEngine.ml b/helm/searchEngine/searchEngine.ml index 0bb29ec49..87546b1ff 100644 --- a/helm/searchEngine/searchEngine.ml +++ b/helm/searchEngine/searchEngine.ml @@ -25,8 +25,6 @@ open Printf -module DB = Dbi_mysql - let debug = true let debug_print s = if debug then prerr_endline s let _ = Http_common.debug := false