From 2001abef7087c2613268ba711b3c1efb88b8f3d3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 21 Jan 2003 11:36:07 +0000 Subject: [PATCH] - added references to gTopLevel needed modules --- helm/searchEngine/Makefile | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile index 7be42086c..7d8ed6419 100644 --- a/helm/searchEngine/Makefile +++ b/helm/searchEngine/Makefile @@ -5,16 +5,21 @@ OCAMLOPTIONS = -package "$(REQUIRES)" -pp camlp4o -I ../gTopLevel -thread OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) -GTOPLEVEL_MODULES = mQueryLevels mQueryGenerator +GTOPLEVEL_MODULES = mQueryLevels2 mQueryGenerator disambiguate +MODULES = +CMOS = $(patsubst %,%.cmo,$(MODULES)) +CMXS = $(patsubst %,%.cmx,$(MODULES)) LIBRARIES = $(patsubst %,../gTopLevel/%.cmo,$(GTOPLEVEL_MODULES)) LIBRARIES_OPT = $(patsubst %,../gTopLevel/%.cmx,$(GTOPLEVEL_MODULES)) -all: searchEngine +all: opt +world: byte opt +byte: searchEngine opt: searchEngine.opt -searchEngine: $(LIBRARIES) searchEngine.ml +searchEngine: $(LIBRARIES) $(CMOS) searchEngine.ml $(OCAMLC) -linkpkg -o $@ $^ -searchEngine.opt: $(LIBRARIES_OPT) searchEngine.ml +searchEngine.opt: $(LIBRARIES_OPT) $(CMXS) searchEngine.ml $(OCAMLOPT) -linkpkg -o $@ $^ clean: -- 2.39.2