2007-02-07 01:40:59 -08:00
|
|
|
#!/bin/sh
|
2007-10-08 07:19:34 -07:00
|
|
|
# $Id$
|
2007-02-07 01:40:59 -08:00
|
|
|
cd `dirname $0`
|
|
|
|
|
set -ex
|
|
|
|
|
./mkconfig.sh
|
|
|
|
|
./mkmyocamlbuild_config.sh
|
2007-02-11 23:59:44 -08:00
|
|
|
. ../config/config.sh
|
2007-02-07 01:40:59 -08:00
|
|
|
if [ "x$EXE" = "x.exe" ]; then
|
|
|
|
|
./boot-c-parts-windows.sh
|
|
|
|
|
else
|
|
|
|
|
./boot-c-parts.sh
|
|
|
|
|
fi
|
|
|
|
|
./boot.sh $@
|
|
|
|
|
./world.all.sh $@
|
