Skip to main content

Browse the archive

https://github.com/EasyCrypt/easycrypt
05 April 2024, 19:20:55 UTC
Revision 776af38a313297536a1dda5351513b9de0655320 authored by Pierre-Yves Strub on 02 April 2016, 08:09:32 UTC, committed by Pierre-Yves Strub on 06 July 2016, 20:52:42 UTC 
Why3: => 0.87
1 parent f3ba127
Raw File
Tip revision: 776af38a313297536a1dda5351513b9de0655320 authored by Pierre-Yves Strub on 02 April 2016, 08:09:32 UTC
Why3: => 0.87
Tip revision: 776af38
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