From 75d60166e54fa18fa5228d59386dcb23e10e8caa Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 6 Mar 2003 16:13:09 +0000 Subject: [PATCH] - use new mquery generator module - no longer use mQuery* stuff from ../gTopLevel --- helm/searchEngine/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile index 1fabc3ede..3de2997c0 100644 --- a/helm/searchEngine/Makefile +++ b/helm/searchEngine/Makefile @@ -1,11 +1,11 @@ REQUIRES = http helm-cic_textual_parser helm-cic_proof_checking \ helm-xml gdome2-xslt helm-cic_unification helm-mathql \ - helm-mathql_interpreter + helm-mathql_interpreter helm-mquery_generator OCAMLOPTIONS = -package "$(REQUIRES)" -pp camlp4o -I ../gTopLevel -thread OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) -GTOPLEVEL_MODULES = mQueryLevels2 mQueryGenerator disambiguate +GTOPLEVEL_MODULES = disambiguate MODULES = CMOS = $(patsubst %,%.cmo,$(MODULES)) CMXS = $(patsubst %,%.cmx,$(MODULES)) -- 2.39.2