Am 27.01.2015 um 21:13 schrieb Pierre Joye: > However there is one thing we do need to care, and this is 3rd party > extensions. This is all I care about and why I initiated pickle.
It just that I am not convinced that the problem you are trying to solve with a tool such as pickle exists. From my experience, people either build everything manually from source (because they work on the source) or they install binaries packaged by a vendor using the appropriate package manager. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
