How to use this box with Vagrant:

Vagrant.configure("2") do |config|
  config.vm.box = "rasmus/php7dev"
  config.vm.box_version = "0.0.5"
end
vagrant init rasmus/php7dev \
  --box-version 0.0.5
vagrant up

This version was created over 3 years ago.

  • dist-upgraded all Debian packages
  • Updated newphp script - no longer need to sudo
  • Added makephp script
  • Added src/mysql checkout from pecl
  • Rebuilt all PHP versions
  • Added phpdbg to PHP 7.0 builds
  • Updated Valgrind .suppressions file
  • Re-installed headers as per https://github.com/rlerdorf/php7dev/issues/4
1 provider for this version.
  • virtualbox Hosted by Vagrant Cloud (1.71 GB)