Vagrant.configure(2) do |config|
  config.vm.box = "rasmus/php7dev"

  config.vm.provision "shell", inline: <<-SHELL
    newphp 56 zts

    # 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