3 if test -z "$SRCDIR" || test -z "$PINTOSROOT" || test -z "$DSTDIR"; then
4 echo "usage: env SRCDIR=<srcdir> PINTOSDIR=<srcdir> DSTDIR=<dstdir> $0"
5 echo " where <srcdir> contains bochs-2.2.6.tar.gz"
6 echo " and <pintosdir> is the root of the pintos source tree"
7 echo " and <dstdir> is the installation prefix (e.g. /usr/local)"
15 tar xzf $SRCDIR/bochs-2.2.6.tar.gz
17 patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-*.patch
19 CFGOPTS="--with-x --with-x11 --with-term --with-nogui --prefix=$DSTDIR"
22 ../configure $CFGOPTS --enable-gdb-stub &&
27 ../configure --enable-debugger $CFGOPTS &&
29 cp bochs $DSTDIR/bin/bochs-dbg)