Skip to main content

Browse the archive

Revision fa6155014bab87106b90c97443ff0bb6a6bcf2ec authored by Pierre-Yves Strub on 05 May 2016, 19:31:40 UTC, committed by Pierre-Yves Strub on 05 May 2016, 19:31:40 UTC 
Add negative filters for `clone ... proof * [...]`
 
Filters now have the following syntax: `[-?tag ... -?tag]`

Negative tags are of the form `-tag`. Other ones are named positive.

An axiom is selected by a filter if:

  - none of its tags are rejected by a negative filters
  - one of its tags is accepted by a positive filter or no positive filters exists
1 parent 6c9dfe5
Raw File
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
back to top