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

rework configure args

Browse Source
This commit is contained in:
DubbleClick
2025-05-21 13:19:51 +07:00
parent 95a2f4600b
commit 495e868a71
14 changed files with 24 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -257,7 +257,11 @@ abstract class BuilderBase
continue;
}
if (Config::getExt($ext->getName(), 'type') === 'builtin') {
logger()->info('Shared extension [' . $ext->getName() . '] was already built by php-src/configure (' . $ext->getName() . '.so)');
if (file_exists(BUILD_MODULES_PATH . '/' . $ext->getName() . '.so')) {
logger()->info('Shared extension [' . $ext->getName() . '] was already built by php-src/configure (' . $ext->getName() . '.so)');
continue;
}
logger()->warning('Shared extension [' . $ext->getName() . '] was built statically by php-src/configure');
continue;
}
logger()->info('Building extension [' . $ext->getName() . '] as shared extension (' . $ext->getName() . '.so)');