php7dev Vagrant 箱图像的文档
php7dev 是一个 Debian 8 Vagrant 镜像，它已预先配置，可用于测试 PHP 应用程序和开发跨多个 PHP 版本的扩展。请参阅 变更记录。
还有一些流浪者插件可以帮助您更新 DNS。请参阅 local-domain-resolution。 此时，您应该可以在浏览器中指向：
If virtualbox complains about an unsupported provider, make sure to have a working virtualbox and prefix the command with ``VAGRANT_DEFAULT_PROVIDER=virtualbox``:
$ VAGRANT_DEFAULT_PROVIDER=virtualbox vagrant up …
## 编译最新的 PHP 7
有一个名为 *makephp* 的脚本,可执行无人干预的构建。
要构建和安装最新的 PHP 7.0 和 PHP 7.0-debug,只需执行以下操作:暂无开放 Issues，或尚未同步最近议题。