From ccb56bd6ddeec70a1fb32304aec60a0721d260cc Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 10 Feb 2005 09:55:02 +0000 Subject: [PATCH] removed spurious dependency on Dbi_mysql --- helm/searchEngine/Makefile | 2 +- helm/searchEngine/searchEngine.ml | 2 -- 2 files changed, 1 insertion(+), 3 deletions(-) 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 -- 2.39.2