Add optional workflow (#548)

* Add optional workflow

* Add optional workflow
This commit is contained in:
Jerry Ma
2024-09-29 15:24:33 +08:00
committed by GitHub
parent 5383cf7c25
commit b62963489a
2 changed files with 34 additions and 11 deletions

View File

@@ -11,6 +11,10 @@ declare(strict_types=1);
// --------------------------------- edit area ---------------------------------
$test_php_version = ['8.3'];
$test_os = ['macos-13', 'macos-14', 'ubuntu-latest', 'windows-latest'];
$zts = false;
$no_strip = false;
@@ -58,7 +62,7 @@ function _getCombination(string $type = 'common'): string
}
if (!isset($argv[1])) {
exit("Please use 'extensions', 'cmd' or 'libs' as output type");
exit("Please use 'extensions', 'cmd', 'os', 'php' or 'libs' as output type");
}
$trim_value = "\r\n \t,";
@@ -73,6 +77,8 @@ if (PHP_OS_FAMILY === 'Windows') {
}
echo match ($argv[1]) {
'os' => json_encode($test_os),
'php' => json_encode($test_php_version),
'extensions' => $final_extensions,
'libs' => $final_libs,
'libs_cmd' => ($final_libs === '' ? '' : (' --with-libs=' . $final_libs)),