crazywhalecc/static-php-cli
1
0
Fork 0
mirror of https://github.com/crazywhalecc/static-php-cli.git synced 2026-07-07 16:55:38 +08:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'main' into feat/xdebug-dynamic

Browse Source
This commit is contained in:
crazywhalecc
2025-04-18 09:45:19 +08:00
parent 4e67c63808 5e67133495
commit 8b07b15f6c
15 changed files with 55 additions and 25 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/SPC/builder/BuilderBase.php
View File

@@ -190,11 +190,11 @@ abstract class BuilderBase
}
}
$this->emitPatchPoint('before-php-extract');
SourceManager::initSource(sources: ['php-src']);
SourceManager::initSource(sources: ['php-src'], source_only: true);
$this->emitPatchPoint('after-php-extract');
if ($this->getPHPVersionID() >= 80000) {
$this->emitPatchPoint('before-micro-extract');
SourceManager::initSource(sources: ['micro']);
SourceManager::initSource(sources: ['micro'], source_only: true);
$this->emitPatchPoint('after-micro-extract');
}
$this->emitPatchPoint('before-exts-extract');