]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/Makefile
build bytecode code by default
[helm.git] / helm / searchEngine / Makefile
index 3d979cd3466fdab757e0d8d72510e3c4f9440e32..1fabc3ede7556d71ddf78845046c44d6b9d51912 100644 (file)
@@ -5,15 +5,21 @@ OCAMLOPTIONS = -package "$(REQUIRES)" -pp camlp4o -I ../gTopLevel -thread
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
 
-LIBRARIES =    ../gTopLevel/mQueryGenerator.cmo
-LIBRARIES_OPT =        ../gTopLevel/mQueryGenerator.cmx
+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: byte
+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: