]> matita.cs.unibo.it Git - helm.git/commitdiff
changed default behavior of the "all:" target, now builds only bytecode
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jan 2003 12:16:17 +0000 (12:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jan 2003 12:16:17 +0000 (12:16 +0000)
helm/uwobo/src/ocaml/Makefile

index 4c5f463f9b84630efccd025ac5cca6bdf18f59a9..27583699bfb62c75a9912e70729ff0d0562b028d 100644 (file)
@@ -9,7 +9,7 @@ MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine
 OBJS = $(patsubst %,%.cmo,$(MODULES))
 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
 
-all: world
+all: byte
 byte: uwobo
 opt: uwobo.opt
 world: byte opt