rework building of shared extensions so that builtin extensions are built at php-src/configure -> make time

2026-07-06 08:15:39 +08:00 · 2025-05-21 12:01:00 +07:00
parent c43423a7d0
commit 95a2f4600b
21 changed files with 53 additions and 42 deletions
--- a/src/SPC/builder/extension/xml.php
+++ b/src/SPC/builder/extension/xml.php
@@ -41,7 +41,7 @@ class xml extends Extension
        return true;
    }

-    public function getWindowsConfigureArg(): string
+    public function getWindowsConfigureArg(bool $shared = false): string
    {
        $arg = match ($this->name) {
            'xml' => '--with-xml',