External dependencies are frustrating, but you could always disable 
compilation of all the xml extensions (I do that all the time). That said, do 
we really need just about every XML extension enabled by default and if we 
do, perhaps a 'global' --disable-all-xml flag should be in order?

Ilia

-- 
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to