mirror of
https://github.com/phpv8/v8js.git
synced 2024-11-09 22:08:40 +00:00
(Vagrantfile) switch to PHP 7.1
This commit is contained in:
parent
970e7051fa
commit
d16c373df3
2
Vagrantfile
vendored
2
Vagrantfile
vendored
@ -34,7 +34,7 @@ Vagrant.configure("2") do |config|
|
|||||||
i.vm.provision "shell", inline: <<-SHELL
|
i.vm.provision "shell", inline: <<-SHELL
|
||||||
add-apt-repository ppa:pinepain/libv8-#{version}
|
add-apt-repository ppa:pinepain/libv8-#{version}
|
||||||
apt-get update
|
apt-get update
|
||||||
apt-get install -y php7.0-dev libv8-#{version}-dbg libv8-#{version}-dev
|
apt-get install -y php7.1-dev libv8-#{version}-dbg libv8-#{version}-dev
|
||||||
SHELL
|
SHELL
|
||||||
end
|
end
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user