From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 20 Feb 2003 17:38:09 +0000 (+0000)
Subject: build bytecode code by default
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a1e60521d58ed2a10e66539ee3bbc3392ddf41b2;p=helm.git

build bytecode code by default
---

diff --git a/helm/searchEngine/Makefile b/helm/searchEngine/Makefile
index 7d8ed6419..1fabc3ede 100644
--- a/helm/searchEngine/Makefile
+++ b/helm/searchEngine/Makefile
@@ -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