add dist name getter for extension

This commit is contained in:
crazywhalecc
2023-04-08 11:49:06 +08:00
parent 84daa9b151
commit f4ebca927b
2 changed files with 27 additions and 1 deletions

View File

@@ -68,7 +68,7 @@ trait UnixBuilderTrait
}
foreach ($this->exts as $ext) {
logger()->debug('testing ext: ' . $ext->getName());
[$ret] = shell()->execWithResult(BUILD_ROOT_PATH . '/bin/php --ri ' . $ext->getName(), false);
[$ret] = shell()->execWithResult(BUILD_ROOT_PATH . '/bin/php --ri ' . $ext->getDistName(), false);
if ($ret !== 0) {
throw new RuntimeException('extension ' . $ext->getName() . ' failed compile check');
}