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

add --pgi and --pgo to facilitate PGO builds

Browse Source
This commit is contained in:
henderkes
2026-04-27 19:34:45 +07:00
parent 0a3c56ba49
commit eff46209da
8 changed files with 402 additions and 77 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
src/SPC/builder/Extension.php
View File

@@ -187,14 +187,6 @@ class Extension
*/
public function patchBeforeMake(): bool
{
if (SPCTarget::getTargetOS() === 'Linux' && $this->isBuildShared() && ($objs = getenv('SPC_EXTRA_RUNTIME_OBJECTS'))) {
FileSystem::replaceFileRegex(
SOURCE_PATH . '/php-src/Makefile',
"/^(shared_objects_{$this->getName()}\\s*=.*)$/m",
"$1 {$objs}",
);
return true;
}
return false;
}
@@ -244,13 +236,6 @@ class Extension
);
}
if ($objs = getenv('SPC_EXTRA_RUNTIME_OBJECTS')) {
FileSystem::replaceFileRegex(
$this->source_dir . '/Makefile',
"/^(shared_objects_{$this->getName()}\\s*=.*)$/m",
"$1 {$objs}",
);
}
return true;
}