2021-09-16 19:36:35 +08:00
|
|
|
const DefaultVersions: Record<string, string> = {
|
|
|
|
msvc: "2019",
|
|
|
|
llvm: "11",
|
|
|
|
ninja: "1.10.2",
|
|
|
|
cmake: "3.20.2",
|
|
|
|
}
|
|
|
|
|
|
|
|
/** 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 {
|
|
|
|
return version
|
|
|
|
}
|
|
|
|
}
|