Using different PHP installs does not use the right target PHP

[asgrim]

Prerequisites

• using ondrej/php, have php8.2 installed and php8.4 as well
• default to php8.4

Steps

Run php8.2 /home/james/workspace/phpf/pie/bin/pie install --force -vv php/zip

Expected Behaviour

zip extension should be installed

Actual Behaviour

Fails to install:

Installing shared extensions:     /usr/lib/php/20240924/
    Install of php/zip failed

In UnixInstall.php line 90:
                                                                   
  [RuntimeException]                                               
  Install failed, /usr/lib/php/20220829/zip.so was not installed.  

Notes

• Note the ext install directory is different
• Checking the Makefile in /home/james/.config/pie/php8.2_0ad3cd1612e8f93be644c01c3d6a352d/vendor/php/zip/ext/zip reveals it was generated with php8.4, not php8.2 (so is using the "default")
• A workaround is to specify the --with-php-config option: php8.2 /home/james/workspace/phpf/pie/bin/pie --with-php-config=php-config8.2 install --force -vv php/zip
• I suspect the ./configure command needs attention here