pintos-os.org Git - pintos-anon/blob - src/misc/bochs-2.6.2-build.sh

   1 #! /bin/sh -e
   2
   3 if test -z "$SRCDIR" || test -z "$PINTOSDIR" || test -z "$DSTDIR"; then
   4     echo "usage: env SRCDIR=<srcdir> PINTOSDIR=<srcdir> DSTDIR=<dstdir> sh $0"
   5     echo "  where <srcdir> contains bochs-2.6.2.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)"
   8     exit 1
   9 fi
  10
  11 cd /tmp
  12 mkdir $$
  13 cd $$
  14 mkdir bochs-2.6.2
  15 tar xzf $SRCDIR/bochs-2.6.2.tar.gz
  16 cd bochs-2.6.2
  17 cat $PINTOSDIR/src/misc/bochs-2.6.2-jitter-plus-segv.patch | patch -p1
  18 cat $PINTOSDIR/src/misc/bochs-2.6.2-xrandr-pkgconfig.patch | patch -p1
  19 cat $PINTOSDIR/src/misc/bochs-2.6.2-banner-stderr.patch | patch -p1
  20 cat $PINTOSDIR/src/misc/bochs-2.6.2-block-device-check.patch | patch -p1
  21 cat $PINTOSDIR/src/misc/bochs-2.6.2-link-tinfo.patch | patch -p1
  22 CFGOPTS="--with-x --with-x11 --with-term --with-nogui --prefix=$DSTDIR"
  23 mkdir plain &&
  24         cd plain &&
  25         ../configure $CFGOPTS --enable-gdb-stub &&
  26         make &&
  27         make install &&
  28         cd ..
  29 mkdir with-dbg &&
  30         cd with-dbg &&
  31         ../configure --enable-debugger --disable-debugger-gui $CFGOPTS &&
  32         make &&
  33         cp bochs $DSTDIR/bin/bochs-dbg &&
  34         cd ..