X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmisc%2Fbochs-2.2.6-build.sh;fp=src%2Fmisc%2Fbochs-2.2.6-build.sh;h=bdf38b0418415e81682981ece04c617573ebfd08;hb=c756825357f433537caec55ac12cf0104be3a6f4;hp=0000000000000000000000000000000000000000;hpb=52c038240d5fa59e4ac230e5fc7587aec328e5d3;p=pintos-anon

diff --git a/src/misc/bochs-2.2.6-build.sh b/src/misc/bochs-2.2.6-build.sh
new file mode 100755
index 0000000..bdf38b0
--- /dev/null
+++ b/src/misc/bochs-2.2.6-build.sh
@@ -0,0 +1,29 @@
+#! /bin/sh -e
+
+if test -z "$SRCDIR" || test -z "$PINTOSROOT" || test -z "$DSTDIR"; then
+    echo "usage: env SRCDIR=<srcdir> PINTOSDIR=<srcdir> DSTDIR=<dstdir> $0"
+    echo "  where <srcdir> contains bochs-2.2.6.tar.gz"
+    echo "    and <pintosdir> is the root of the pintos source tree"
+    echo "    and <dstdir> is the installation prefix (e.g. /usr/local)"
+    exit 1
+fi
+
+cd /tmp
+mkdir $$
+cd $$
+mkdir bochs-2.2.6
+tar xzf $SRCDIR/bochs-2.2.6.tar.gz
+cd bochs-2.2.6
+patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-*.patch
+
+CFGOPTS="--with-x --with-x11 --with-term --with-nogui --prefix=$DSTDIR"
+(mkdir plain &&
+ cd plain && 
+ ../configure $CFGOPTS --enable-gdb-stub && 
+ make && 
+ make install)
+(mkdir with-dbg &&
+ cd with-dbg &&
+ ../configure --enable-debugger $CFGOPTS &&
+ make &&
+ cp bochs $DSTDIR/bin/bochs-dbg)