Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:104479
MIME-Version: 1.0
References: <CAAwdEzBhqfY9+BPV+LDQ=Lc0JMUYnhfWAe5=i1uZCZXG_M-JRA@mail.gmail.com>
In-Reply-To: <CAAwdEzBhqfY9+BPV+LDQ=Lc0JMUYnhfWAe5=i1uZCZXG_M-JRA@mail.gmail.com>
Date: Wed, 20 Feb 2019 17:14:52 +0000
Message-ID: <CALKiJKrJwKK8+b2TtAL=PBXgkgBiSGttzd9vUCOwgFL1MP6-kA@mail.gmail.com>
To: =?UTF-8?Q?Alexandru_P=C4=83tr=C4=83nescu?= <drealecs@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000a55df70582567ffd"
Subject: Re: [PHP-DEV] Setup dev environment for contributing to php
From: rowan.collins@gmail.com (Rowan Collins)

--000000000000a55df70582567ffd
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

On Wed, 20 Feb 2019 at 14:10, Alexandru P=C4=83tr=C4=83nescu <drealecs@gmai=
l.com>
wrote:

> Maybe I'm too used with having a Vagrantfile that I'm searching things to=
o
> specifically.
>


Rasmus set up a Vagrantfile around the time 7.0 was released, which should
still work I think, though the helper scripts haven't been updated for 7.2
and later, as far as I can see.

See https://app.vagrantup.com/rasmus/boxes/php7dev/ and
https://github.com/rlerdorf/php7dev/

Regards,
--=20
Rowan Collins
[IMSoP]

--000000000000a55df70582567ffd--