Hello Zeev, Wednesday, November 12, 2003, 3:14:27 PM, you wrote:
[...] > BTW - I agree with Edin about some issues that need to be solved, with the > most important one IMHO being libxml bundling. In all efforts to avoid a > thread on this subject of any shape or form - I'd really like to push the > approach of having two source dists - one w/ libxml, and one w/o it, both > created by makedist, and available for download. I think that even the > biggest advocates of bundling as well as the biggest advocates of > PHP-purity can live with that solution. Now the only question is whether > there are any volunteers to make the necessary patches to PHP's build as > well as makedist that will make this magic ;) Well said. I did some work on makerpm and already got it working again. Then with the help of ilia the next step is to split up the process to generate multiple rpms for the different extensions. Once this is ready we'd either need some magic selection thingie or have some machines that build for the important distributions. Best regards, Marcus mailto:[EMAIL PROTECTED] -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
