#!/usr/bin/env bash

SPKG_ROOT=`pwd`

set -e
shopt -s extglob

# Remove old sources and download new
rm -rf src
tar xzf <( curl http://chomp.rutgers.edu/download/chomp-full.tar.gz )
mv chomp src


# Make everything writable
chmod -R u+w src

# Delete some unneeded stuff
cd src/programs
rm -r !(homprogs*)
