actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-09-06 04:44:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

Refactor extension functions to add_extensions scripts

Browse Source
This commit is contained in:
Shivam Mathur
2022-01-02 17:21:14 +05:30
parent d189609ea9
commit 2fd8046c9d
34 changed files with 359 additions and 358 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/scripts/extensions/patches/geos.sh Normal file
View File

@ -0,0 +1,7 @@
patch_geos() {
if [ "$(php -r "echo PHP_VERSION_ID;")" -ge 70000 ]; then
sed -i~ -e "s/, ce->name/, ZSTR_VAL(ce->name)/; s/ulong /zend_ulong /" geos.c
fi
get -q -n /tmp/php8.patch https://git.remirepo.net/cgit/rpms/php/php-geos.git/plain/0003-add-all-arginfo-and-fix-build-with-PHP-8.patch
patch -p1 < /tmp/php8.patch 2>/dev/null || true
}