1
0
mirror of https://github.com/danog/parallel.git synced 2024-11-26 20:34:40 +01:00
parallel/Vagrantfile

18 lines
412 B
Ruby
Raw Normal View History

2015-08-03 03:48:29 +02:00
Vagrant.configure(2) do |config|
2015-12-12 23:15:37 +01:00
config.vm.box = "rasmus/php7dev"
2015-08-03 03:48:29 +02:00
config.vm.provision "shell", inline: <<-SHELL
2015-12-12 23:15:37 +01:00
newphp 56 zts
# Install pthreads from master
git clone https://github.com/krakjoe/pthreads
cd pthreads
2015-12-05 04:46:17 +01:00
git checkout PHP5
phpize
./configure
make
sudo make install
echo 'extension=pthreads.so' >> `php -i | grep php-cli.ini | awk '{print $5}'`
2015-08-03 03:48:29 +02:00
SHELL
end