#!/usr/bin/env bash

# download smc -- not necessary, already included in the codebase
# wget -O - http://sourceforge.net/projects/smc/files/smc/6_1_0/smc_6_1_0.tgz/download | tar -xz
# mv smc_6_1_0 foreign/smc_6_1_0


apt-get update

# set up git and vim -- not necessary, code editing & git takes place outside the vm
# apt-get install -y git
# apt-get install -y vim
# 
# git config --global core.editor vim
# git config --global color.ui = true

apt-get install -y openjdk-6-jre

#!/usr/bin/env bash

# download smc -- not necessary, already included in the codebase
# wget -O - http://sourceforge.net/projects/smc/files/smc/6_1_0/smc_6_1_0.tgz/download | tar -xz
# mv smc_6_1_0 foreign/smc_6_1_0


apt-get update

# set up git and vim -- not necessary, code editing & git takes place outside the vm
# apt-get install -y git
# apt-get install -y vim
# 
# git config --global core.editor vim
# git config --global color.ui = true

apt-get install -y openjdk-6-jre
apt-get install -y graphviz

Add graphviz to VM provisioning
Add graphviz to VM provisioning

Add grapviz to visualize smc compiled fsm .dot file. Run `make graph;
make png` to produce.
