rzk-lang / vscode-rzk

Visual Studio Code Extension(s) for Rzk proof assistant.
https://marketplace.visualstudio.com/items?itemName=NikolaiKudasovfizruk.rzk-1-experimental-highlighting
Other
8 stars 1 forks source link

Prompt installing/updating rzk when not found in PATH #21

Closed aabounegm closed 1 year ago

aabounegm commented 1 year ago

If there is no rzk executable found in the PATH, provide an option (through a prompt displayed automatically to the user) to download the latest (supported) version from GitHub releases.

This also involves storing the supported rzk version range in the extension. Additionally, a prompt should be displayed to update when a newer (supported) version than the one in use is found on GitHub.

The priority for which binary to use should be as follows: