From 821d1dd622cc3f968c29191f9a20bdcd7e38277e Mon Sep 17 00:00:00 2001 From: mhuisi Date: Wed, 14 Oct 2026 11:58:45 +0000 Subject: [PATCH] chore: bump minimum supported macOS version to macOS 14 --- vscode-lean4/src/diagnostics/setupDiagnoser.ts | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/vscode-lean4/src/diagnostics/setupDiagnoser.ts b/vscode-lean4/src/diagnostics/setupDiagnoser.ts index f317bcfc..0a10eaae 100644 --- a/vscode-lean4/src/diagnostics/setupDiagnoser.ts +++ b/vscode-lean4/src/diagnostics/setupDiagnoser.ts @@ -15,7 +15,8 @@ import { FileUri } from '../utils/exturi' import { ToolchainUpdateMode, leanRunner, leanVersionRegex } from '../utils/leanCmdRunner' import { checkParentFoldersForLeanProject, isValidLeanProject } from '../utils/projectInfo' -const minimumSupportedMacOSVersion = new SemVer('19.0.0') +// Darwin kernel version, as returned by `os.release()`. Darwin 23 is macOS 14. +const minimumSupportedMacOSVersion = new SemVer('23.0.0') const minimumSupportedWindowsVersion = new SemVer('10.0.18362') export type OSVersionDiagnosis = @@ -38,7 +39,7 @@ function diagnoseOSVersion(): OSVersionDiagnosis { if (currentVersion.compare(minimumSupportedWindowsVersion) >= 0) { return { kind: 'NotUnsupported' } } - return { kind: 'Unsupported', currentVersion, recommendedVersion: minimumSupportedMacOSVersion } + return { kind: 'Unsupported', currentVersion, recommendedVersion: minimumSupportedWindowsVersion } } return { kind: 'NotUnsupported' } }