2021-09-16 19:36:35 +08:00
|
|
|
const DefaultVersions: Record<string, string> = {
|
|
|
|
msvc: "2019",
|
2021-12-06 21:11:58 +08:00
|
|
|
vcvarsall: "2019",
|
2021-11-22 02:00:51 +08:00
|
|
|
llvm: "13.0.0",
|
2021-09-16 19:36:35 +08:00
|
|
|
ninja: "1.10.2",
|
2021-11-22 02:00:51 +08:00
|
|
|
cmake: "3.22.0",
|
2021-09-16 20:09:01 +08:00
|
|
|
gcovr: "5.0",
|
2021-11-22 02:00:51 +08:00
|
|
|
conan: "1.42.1",
|
|
|
|
meson: "0.60.1",
|
|
|
|
python: "3.10.0",
|
2021-12-07 19:30:33 +08:00
|
|
|
kcov: "v39",
|
2021-11-22 02:00:51 +08:00
|
|
|
gcc: process.platform === "win32" ? "11.2.0.07112021" : "11",
|
2021-09-16 19:36:35 +08:00
|
|
|
}
|
|
|
|
|
|
|
|
/** Get the default version if passed true or undefined, otherwise return the version itself */
|
|
|
|
export function getVersion(name: string, version: string | undefined) {
|
2021-09-16 19:57:37 +08:00
|
|
|
if (version === "true" || (version === undefined && name in DefaultVersions)) {
|
2021-09-16 19:36:35 +08:00
|
|
|
return DefaultVersions[name]
|
|
|
|
} else {
|
2021-09-18 01:12:33 +08:00
|
|
|
return version ?? ""
|
2021-09-16 19:36:35 +08:00
|
|
|
}
|
|
|
|
}
|