mirror of
https://github.com/danog/parallel.git
synced 2024-11-26 12:24:40 +01:00
Update vagrant box for PHP 7
This commit is contained in:
parent
d099af993e
commit
92999aba6f
4
Vagrantfile
vendored
4
Vagrantfile
vendored
@ -2,12 +2,12 @@ Vagrant.configure(2) do |config|
|
||||
config.vm.box = "rasmus/php7dev"
|
||||
|
||||
config.vm.provision "shell", inline: <<-SHELL
|
||||
newphp 56 zts
|
||||
newphp 7 zts
|
||||
|
||||
# Install pthreads from master
|
||||
git clone https://github.com/krakjoe/pthreads
|
||||
cd pthreads
|
||||
git checkout PHP5
|
||||
git checkout master
|
||||
phpize
|
||||
./configure
|
||||
make
|
||||
|
Loading…
Reference in New Issue
Block a user