Vagrant.configure("2") do |config| config.vm.box = "ubuntu/bionic64" config.vm.provider "virtualbox" do |v| v.memory = 2048 v.cpus = 3 end config.vm.provision "shell", inline: <<-SHELL apt-get update && apt-get install --no-install-recommends -y \ cmake \ emacs \ g++ \ git \ make \ meld \ mercurial \ python \ xauth hg clone https://bitbucket.org/aibasel/planopt-hs19 /vagrant/planopt-hs19 git clone https://github.com/KCL-Planning/VAL.git bash ./VAL/scripts/linux/build_linux64.sh Validate release mv VAL/build/linux64/release/install/bin/* /usr/bin/ rm -rf VAL echo '#!/bin/bash Validate "$1" "$2" <(grep -v ";" "$3" | nl -s ": ") ' > /usr/bin/validate chmod 0755 /usr/bin/validate cd /vagrant/planopt-hs19/demo/fast-downward ./build.py SHELL config.ssh.forward_x11 = true config.ssh.forward_agent = true end