]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/searchEngine/Makefile
build bytecode code by default
[helm.git] / helm / searchEngine / Makefile
index 7d8ed641949d438ae1b8b7248305589ab13c9584..1fabc3ede7556d71ddf78845046c44d6b9d51912 100644 (file)
@@ -12,7 +12,7 @@ CMXS = $(patsubst %,%.cmx,$(MODULES))
 LIBRARIES =    $(patsubst %,../gTopLevel/%.cmo,$(GTOPLEVEL_MODULES))
 LIBRARIES_OPT =        $(patsubst %,../gTopLevel/%.cmx,$(GTOPLEVEL_MODULES))
 
-all: opt
+all: byte
 world: byte opt
 byte: searchEngine
 opt: searchEngine.opt