3 # Note: as of 2.6.9, you need to change line 566 of pintos. Replace:
4 # user_shortcut: keys=ctrlaltdel
6 # keyboard: user_shortcut=ctrl-alt-del
7 # to accommodate the new bochsrc.txt syntax
11 if test 1 != "$#"; then
12 echo "usage: $0 <install-prefix>" >&2
17 SRCDIR=$(dirname $(readlink -f "$0"))
18 if test ! -d "$SRCDIR"; then
19 echo "cannot file src directory" >&2
23 if test ! -f "$SRCDIR/bochs-$V.tar.gz"; then
24 wget -O "$SRCDIR/bochs-$V.tar.gz" \
25 "https://sourceforge.net/projects/bochs/files/bochs/$V/bochs-$V.tar.gz/download"
28 builddir=$(mktemp -d /tmp/bochsXXXXXXXXX)
29 trap "rm -rf \"$builddir\"" 0
32 tar xzf "$SRCDIR/bochs-$V.tar.gz"
35 for patchfile in "$SRCDIR/bochs-$V"-*.patch; do
36 patch -p1 -i "$patchfile"
39 CFGOPTS="--with-x --with-x11 --with-term --with-nogui"
42 ../configure $CFGOPTS --prefix="$PREFIX" --enable-gdb-stub &&
47 ../configure --enable-debugger --disable-debugger-gui $CFGOPTS --prefix="$PREFIX" &&
49 cp bochs "$PREFIX/bin/bochs-dbg")