Add ext-gmp

2026-07-04 07:15:38 +08:00 · 2026-03-10 16:52:29 +08:00
parent 465549f97d
commit e0d2ee91f7
1 changed files with 6 additions and 0 deletions
--- a/config/pkg/ext/builtin-extensions.yml
+++ b/config/pkg/ext/builtin-extensions.yml
@@ -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: