On Mon, 2011-11-28 at 15:18 +0100, Ferenc Kovacs wrote:
> + foreach ($extensions as $req_ext) {
> + $loaded = `$php -n -r 'echo (int) extension_loaded("$req_ext");'`;
> + if ($loaded == '0') {
This should use the tmp-php.ini as that might already load the required
extension if it was built in the same built. A configure line like
./configure --enable-igbinary=shared --enable-new-fancy-extension=shared
should add both to the tmp-php.ini.
I'm also not sure if we really want to cover all these cases in extra
sections, the user can do
run-tests.php -d extension=/path/to/extname.so
this would also work for extensions outside the default extension_dir
and one could test against different versions of the other extension,
while I agree it's more annoying ... for the individual case.
johannes
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
