1
0
mirror of https://github.com/danog/parallel.git synced 2024-11-26 20:34:40 +01:00
parallel/Vagrantfile
2015-12-04 21:46:17 -06:00

22 lines
566 B
Ruby

Vagrant.configure(2) do |config|
config.vm.box = "coderstephen/php-dev"
config.vm.provision "shell", inline: <<-SHELL
newphp 56 zts debug
# Install xdebug
sudo pickle install -n xdebug
echo 'zend_extension=xdebug.so' >> `php -i | grep php-cli.ini | awk '{print $5}'`
# Install pthreads from master
git clone https://github.com/krakjoe/pthreads
cd pthreads
git checkout PHP5
phpize
./configure
make
sudo make install
echo 'extension=pthreads.so' >> `php -i | grep php-cli.ini | awk '{print $5}'`
SHELL
end