From 7856f7e03a575b24ec222b2f0196207d5a2d7d57 Mon Sep 17 00:00:00 2001 From: crazywhalecc Date: Mon, 9 Mar 2026 16:30:00 +0800 Subject: [PATCH] Add ext-gmp --- config/pkg/ext/builtin-extensions.yml | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/config/pkg/ext/builtin-extensions.yml b/config/pkg/ext/builtin-extensions.yml index 79ca0537..742358eb 100644 --- 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: