Describe the bug
i was trying to use the ev library in a pipeline, but I am unable to install it with the Setup PHP action.
Version
Runners
Operating systems
ubuntu-latest
PHP versions
8.3.7
To Reproduce
- name: Setup PHP
uses: shivammathur/setup-php@v2
with:
php-version: 8.3
extensions: mbstring, bcmath, redis, swoole, ev, sockets
coverage: xdebug
Expected behavior
EV to be installed.
Screenshots/Logs
==> Setup PHP
✓ PHP Installed PHP 8.3.7
==> Setup Extensions
✓ mbstring Enabled
✓ bcmath Enabled
✓ redis Enabled
✓ swoole Enabled
PHP Warning: PHP Startup: Unable to load dynamic library '/usr/lib/php/20230831/ev.so' (tried: /usr/lib/php/20230831/ev.so (/usr/lib/php/20230831/ev.so: undefined symbol: socket_ce), /usr/lib/php/20230831//usr/lib/php/20230831/ev.so.so (/usr/lib/php/20230831//usr/lib/php/20230831/ev.so.so: cannot open shared object file: No such file or directory)) in Unknown on line 0
✗ ev Could not install ev on PHP 8.3.7
✓ sockets Enabled
Additional context
I guess that it needs the same fix as the event extension as described as a fix in #722
Are you willing to submit a PR?
Describe the bug
i was trying to use the ev library in a pipeline, but I am unable to install it with the Setup PHP action.
Version
v1orv2.v2v1Runners
Operating systems
ubuntu-latestPHP versions
8.3.7To Reproduce
Expected behavior
EV to be installed.
Screenshots/Logs
Additional context
I guess that it needs the same fix as the
eventextension as described as a fix in #722Are you willing to submit a PR?