From: Stefano Zacchiroli <zack@upsilon.cc>
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: