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