Install Kelvra
The fastest path is a tested runtime archive from GitHub. Each archive contains
both the kelvra command and the matching kelvra-lsp language server.
Install a release
Section titled “Install a release”-
Open Kelvra Releases and choose the latest runtime release.
-
Download the archive for your platform and the accompanying
SHA256SUMSfile. Runtime CI currently builds archives for:Platform Architecture Linux x86-64 macOS Apple Silicon (arm64) Windows x86-64 -
Verify the archive checksum, extract it, and move or add its
bindirectory to yourPATH.Terminal window sha256sum kelvra-*.tar.gztar -xzf kelvra-*.tar.gzTerminal window shasum -a 256 kelvra-*.tar.gztar -xzf kelvra-*.tar.gzTerminal window Get-FileHash .\kelvra-*.zip -Algorithm SHA256Expand-Archive .\kelvra-*.zipAdd the extracted
bindirectory to your userPath.Compare the printed digest with the matching entry in
SHA256SUMSbefore using the extracted binaries. -
Confirm that the runtime is available:
Terminal window kelvra --version# kelvra 0.2.0 (native ABI 3)
Install the VS Code extension
Section titled “Install the VS Code extension”Install Kelvra Developer Tools
from the Visual Studio Marketplace, or search that exact name in VS Code’s
Extensions view. Platform-specific Marketplace packages already contain a
tested kelvra-lsp; you do not have to configure a server path after a normal
Marketplace install.
See VS Code and LSP for features, server discovery, settings, and troubleshooting.
Build from source
Section titled “Build from source”Source builds require CMake 3.10 or newer, a C++17 GCC or Clang compiler,
OpenSSL development files, and bash. SDL2 development files are optional and
only needed for the official window package and its demos.
sudo apt-get install build-essential cmake libssl-dev# Optional window package support:sudo apt-get install libsdl2-devxcode-select --installbrew install cmake openssl@3# Optional window package support:brew install sdl2pacman -S mingw-w64-x86_64-cmake mingw-w64-x86_64-gcc \ mingw-w64-x86_64-openssl mingw-w64-x86_64-ninjaRun the remaining commands from the matching MinGW64 shell.
Clone the repository and build the default release configuration:
git clone https://github.com/kelvralang/kelvracd kelvra./build.shThe source tree currently produces build/interpreter, build/kelvra, and
build/kelvra-lsp. Use build/kelvra for the public command-line interface; the
interpreter name remains available for repository development and legacy
scripts.
Useful development configurations include:
./build.sh --debug --asan./build.sh --debug --ubsan./build.sh --debug --asan --ubsan./build.sh --release --profilingSanitizer builds cannot be combined with --lto, --pgo-generate, or
--pgo-use.
Run Kelvra
Section titled “Run Kelvra”kelvra run path/to/program.kelFrom a source checkout:
./build/kelvra run path/to/program.kelRunning kelvra with no arguments starts the REPL. Use kelvra --help for the full
project, package, registry, cache, and runtime command list.