Vagrant-bootstrap.sh

sudo apt-get update
sudo apt-get -yu dist-upgrade
sudo apt-get install -y openjdk-7-jdk mercurial ant gradle hevea librsvg2-bin zip unzip

wget http://www.scala-lang.org/files/archive/scala-2.11.6.deb
sudo dpkg -i scala-2.11.6.deb

export JAVA_HOME=${JAVA_HOME:-$(dirname $(dirname $(dirname $(readlink -f $(/usr/bin/which java)))))}

export JSR308=/home/vagrant/jsr308
mkdir -p $JSR308
cd $JSR308

if [ ! -d $JSR308/jsr308-langtools ]; then
  hg clone https://code.google.com/p/jsr308-langtools/ jsr308-langtools;
fi

if [ ! -d $JSR308/plume-lib ]; then
  hg clone https://code.google.com/p/plume-lib/ plume-lib;
fi

if [ ! -d $JSR308/annotation-tools ]; then
  hg clone https://code.google.com/p/annotation-tools/ annotation-tools;
fi

if [ ! -d $JSR308/checker-framework ]; then
  hg clone https://code.google.com/p/checker-framework/ checker-framework;
fi

if [ ! -d $JSR308/checker-framework-inference ]; then
  hg clone https://code.google.com/p/checker-framework-inference/ checker-framework-inference;
fi

if [ ! -d $JSR308/universe ]; then
  hg clone https://bitbucket.org/wmdietl/universe/ universe;
  mkdir $JSR308/universe/bin;
fi

cd $JSR308/jsr308-langtools/make
ant

cd $JSR308/plume-lib
make

cd $JSR308/annotation-tools
ant

cd $JSR308/checker-framework
ant

cd $JSR308/checker-framework-inference
gradle dist

cd $JSR308/universe
./scripts/compileGUT.sh

cd $JSR308/universe

curl -o sat4j-core.zip http://download.forge.ow2.org/sat4j/sat4j-core-v20130525.zip
curl -o sat4j-max.zip http://download.forge.ow2.org/sat4j/sat4j-maxsat-v20130525.zip
unzip sat4j-core.zip -d sat4j 
unzip sat4j-max.zip -d sat4j
rm -rf sat4j-core.zip
rm -rf sat4j-max.zip

chown -R vagrant.vagrant ~