Vagrantfile

Vagrant.configure(2) do |config|

  project_name = File.dirname(__FILE__).split("/").last

  config.vm.provider "virtualbox" do |vb|
    vb.memory = 6144 # set VM memory to 6GB
  end
  config.vm.synced_folder ".", "/home/vagrant/#{project_name}"

  config.vm.define :ubuntu do |ubuntu_config|
    ubuntu_config.vm.box = "ubuntu/trusty64"
  end

  # TODO ability to choose between the two?
  # config.vm.define :opensuse do |opensuse_config|
  #   opensuse_config.vm.box = "chef/opensuse-13.1"
  # end

  config.vm.provision "shell", binary: true, inline: <<-SHELL
    sudo apt-get install -yy git
    cd /home/vagrant/#{project_name}
    git submodule init tools/smack tools/bam-bam-boogieman
    git submodule init tools/boogie tools/z3
    git submodule update
    cd /home/vagrant/#{project_name}/bin
    ./provision.sh
  #  echo source smack.environment >> .bashrc
  #  echo cd #{project_name} >> .bashrc
  SHELL

end