crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-03-19 21:34:53 +08:00
Code Issues Packages Projects Releases Wiki Activity

Add ext-gmp

Browse Source
This commit is contained in:
crazywhalecc 2026-03-09 16:30:00 +08:00
parent 4a572a1372
commit 7856f7e03a
No known key found for this signature in database
GPG Key ID: 1F4BDD59391F2680
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
config/pkg/ext/builtin-extensions.yml
View File

@ -70,6 +70,12 @@ ext-gettext:
- gettext
php-extension:
arg-type: with-path
ext-gmp:
type: php-extension
depends:
- gmp
php-extension:
arg-type: with-path
ext-mbregex:
type: php-extension
depends: