setup_pintos.sh

# you need to cp ~/cis520/pintos/src/utils/pintos-gdb ~/pintos-goodfile

mkdir cis520
cd cis520
cp /pub/CIS520/pintos.tgz .
mkdir pintos
tar xvzf pintos.tgz -C pintos --strip-components=1

# Begin part 2
cd ~/cis520/pintos/src/threads
make

# Begin part 3
cd ~/cis520
cp /pub/CIS520/tools/bochs-2.4.5.tar.gz .
tar xvzf bochs-2.4.5.tar.gz

cd bochs-2.4.5
patch -p1 < /pub/CIS520/tools/bochs-2.4.5-jitter.patch

cd ~/cis520
mkdir -p usr/local/bin/
cd bochs-2.4.5
./configure --prefix=$(pwd)/cis520/usr/local --enable-gdb-stub --with-x --with-x11 --with-term --with-nogui
make
make install

./configure --enable-debugger --with-x --with-x11 --with-term --with-nogui
make
cp bochs ~/cis520/usr/local/bin/bochs-dbg

# Begin part 4
cd ~
# echo "export PATH=$(pwd)cis520/pintos/src/utils:$(pwd)cis520/usr/local/bin:$PATH" >> ~/.bashrc
# echo "export BXSHARE=$(pwd)/cis520/usr/local/share/bochs" >> ~/.bashrc
source ~/.bashrc

cp ~/cis520/pintos/src/misc/gdb-macros ~/cis520/usr/local/bin

# echo "edit pintos/src/utils/pintos-gdb, change GDBMACROS to point to /home/j/jdeweese1/cis520/usr/local/bin/gdb-macros"

mv ~/pintos-goodfile ~/cis520/pintos/src/utils/pintos-gdb


cd ~/cis520/pintos/src/utils
# chmod u+x "/home/j/jdeweese1/cis520/usr/local/bin/gdb-macros"
echo "test by running pintos-gdb with no args"
pintos-gdb

make

echo "pintos should now be ready to go!"

cd ~/cis520/pintos/src/threads
make
cd build
pintos -v -- run alarm-multiple