https://github.com/EasyCrypt/easycrypt
Revision c9a0683de5b0890569baad7360bf97233db05be2 authored by François Dupressoir on 19 May 2016, 10:03:13 UTC, committed by François Dupressoir on 19 May 2016, 10:03:39 UTC
1 parent f9d70ed
Tip revision: c9a0683de5b0890569baad7360bf97233db05be2 authored by François Dupressoir on 19 May 2016, 10:03:13 UTC
Everything (in theories) is NewFMap.
Everything (in theories) is NewFMap.
Tip revision: c9a0683
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.define "easycrypt", primary: true do |config|
config.vm.box = "ubuntu/wily64"
config.vm.hostname = "ec-vagrant"
config.vm.synced_folder ".", "/home/vagrant/#{project_name}"
config.vm.provision "shell", binary: true, privileged: false do |s|
s.path = "scripts/vagrant/post-installation.sh"
s.args = ["#{project_name}", "shared"]
end
end
config.vm.define "easycrypt-gui", autostart: false do |config|
config.vm.box = "easycrypt"
config.vm.box_url = "https://www.easycrypt.info/vagrant/easycrypt-base.box"
config.vm.hostname = "easycrypt"
config.ssh.username = "easycrypt"
config.ssh.password = "easycrypt"
config.vm.provider "virtualbox" do |vb|
vb.customize ["modifyvm", :id, "--vram", "128"]
vb.customize ["modifyvm", :id, "--accelerate3d", "off"]
vb.customize ["modifyvm", :id, "--clipboard", "bidirectional"]
vb.customize ["modifyvm", :id, "--usb", "on"]
vb.customize ["modifyvm", :id, "--usbehci", "off"]
vb.customize ["modifyvm", :id, "--usbxhci", "off"]
vb.customize ["modifyvm", :id, "--audio", "none"]
end
config.vm.provision "shell", binary: true, privileged: false do |s|
s.path = "scripts/vagrant/post-installation.sh"
s.args = ["#{project_name}", "cloned"]
end
end
end
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...