Hi,
Maybe it's my fault but I find it hard to find a documented way of how to
setup your local environment for contributing to php.
Maybe I'm too used with having a Vagrantfile that I'm searching things too
specifically.
I can help with setting it up if you wish and the need is real for more
than just me.
We can have a Vagrantfile with multiple VM with different distros, or one
with docker and multiple Dockerfiles from different distro.
Thanks,
Alex
On Wed, 20 Feb 2019 at 14:10, Alexandru Pătrănescu drealecs@gmail.com
wrote:
Maybe I'm too used with having a Vagrantfile that I'm searching things too
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/
Rowan Collins
[IMSoP]
Hi Rowan,
Thank you for the info. I'll try to update it if I can.
On Wed, Feb 20, 2019 at 7:15 PM Rowan Collins rowan.collins@gmail.com
wrote:
On Wed, 20 Feb 2019 at 14:10, Alexandru Pătrănescu drealecs@gmail.com
wrote:Maybe I'm too used with having a Vagrantfile that I'm searching things too
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,
Rowan Collins
[IMSoP]
Maybe it's my fault but I find it hard to find a documented way of how to
setup your local environment for contributing to php.
See http://www.phpinternalsbook.com/php7/build_system/building_php.html.
--
Christoph M. Becker