]> git.openstreetmap.org Git - nominatim.git/blobdiff - Vagrantfile
Merge pull request #436 from lonvia/remove-location-property-tables
[nominatim.git] / Vagrantfile
index 30bc93754bda3e92aaf3fa1a147d64ff8855f08b..f32640f1d5e0fba69e298f30e20db51efa2104a6 100644 (file)
@@ -14,6 +14,10 @@ Vagrant.configure("2") do |config|
       sub.vm.box = "ubuntu/trusty64"
       sub.vm.provision :shell, :path => "vagrant/ubuntu-trusty-provision.sh"
   end
+  config.vm.define "ubuntu-php7" do |sub|
+      sub.vm.box = "ubuntu/trusty64"
+      sub.vm.provision :shell, :path => "vagrant/ubuntu-trusty-php7-provision.sh"
+  end
   config.vm.define "centos" do |sub|
       sub.vm.box = "bento/centos-7.2"
       sub.vm.provision :shell, :path => "vagrant/centos-7-provision.sh"