Unable to install phpredis/phpredis (for example) on Windows

[Andrew-Staves-Activ]

Hey, I'm looking at whether we could migrate to PIE and was hoping to be able to use it from Windows (11) too. However, I found it's unable to install phpredis/phpredis on Windows (11):

> pie install phpredis/phpredis
🥧 PHP Installer for Extensions (PIE) 1.5.0-rc.2, from The PHP Foundation
This command may need elevated privileges, and may prompt you for your password.
You are running PHP 8.3.19
Target PHP installation: 8.3.19 ts, vs16, on Windows x86_64 (from C:\php\php.exe)
Found package: phpredis/phpredis:6.3.0 which provides ext-redis

In CouldNotDetermineDownloadUrlMethod.php line 31:
                                                                                                                                                                                                                                                                     
  Could not download phpredis/phpredis using windows-binary method: Windows archive with prebuilt extension for phpredis/phpredis was not attached on release 6.3.0 - looked for one of "php_redis-6.3.0-8.3-ts-vs16-x86_64.zip, php_redis-6.3.0-8.3-vs16-ts-x86_64  
  .zip"  

I think this is because none of the releases in https://github.com/phpredis/phpredis/releases provide Windows archives and therefore https://packagist.org/packages/phpredis/phpredis doesn't have them.

I am able to get around this by downloading a DLL from https://pecl.php.net/package/redis (and modifying php.ini to use it) manually. I'd ideally like to avoid others in my team having to take the same manual steps if at all possible.

Is there a way to install extensions like phpredis/phpredis through PIE that I'm missing?

If not, has automatically falling back to PECL's DLLs (when the releases don't have any Windows files) been considered as part of the development of PIE?

(Though perhaps that makes little sense if the point is to move away from PECL? I don't know.)

Sorry in advance if I'm misusing/misunderstanding PIE here and/or if I should raise a request with https://packagist.org/packages/phpredis/phpredis instead, please just let me know 😅

Thanks!

[asgrim]

Please see phpredis/phpredis#2575 - this is something that needs to be solved by that repo I'm afraid! Thank you :)

[Andrew-Staves-Activ]

Ah, I should have searched there too - sorry! Thanks for letting me know 🙂

[asgrim]

No problem at all, happy to help!