https://github.com/EasyCrypt/easycrypt
Revision 9f6a2f9c698e6c47fa841a0b040bc45d82a601c5 authored by Benjamin Gregoire on 07 July 2016, 06:32 UTC, committed by Benjamin Gregoire on 07 July 2016, 06:32 UTC
1 parent 776af38
Raw File
Tip revision: 9f6a2f9c698e6c47fa841a0b040bc45d82a601c5 authored by Benjamin Gregoire on 07 July 2016, 06:32 UTC
add make
Tip revision: 9f6a2f9
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/wily64"
  end

  config.vm.provision "shell", binary: true, privileged: false do |s|
    s.path = "scripts/vagrant/post-installation.sh"
    s.args = ["#{project_name}"]
  end
end
back to top