From: Stefano Zacchiroli Date: Tue, 21 Jan 2003 11:36:07 +0000 (+0000) Subject: - added references to gTopLevel needed modules X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2001abef7087c2613268ba711b3c1efb88b8f3d3;p=helm.git - added references to gTopLevel needed modules --- 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: