v2.6.0
Linux (x64) and macOS (x64, arm64 (M1/M2))
Tested on Ubuntu 18, 20, Debian 10, macOS Catalina (x64), and Ventura (M1), and should run on most Linux distributions.
From a command prompt, run:
curl -sSL https://github.com/koka-lang/koka/releases/download/v2.6.0/install.sh | sh
This also installs syntax highlighting for the VS Code and Atom editors. After install, run koka
to verify if koka installed correctly.
-
For most installations this will ask for root access in order to install to
/usr/local/bin
. For more control, you can pass a different prefix. For example, installing to~/.local
instead:
curl -sSL https://github.com/koka-lang/koka/releases/download/v2.6.0/install.sh | sh -s -- --prefix=~/.local
-
To uninstall a version, use the
--uninstall
option:
curl -sSL https://github.com/koka-lang/koka/releases/download/v2.6.0/install.sh | sh -s -- --uninstall
Windows 10/11 (x64)
Open a cmd
prompt and download and run the installer:
curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.6.0/install.bat && %tmp%\install-koka.bat
This will also prompt to install the clang
compiler if needed, and install syntax highlighting for the VS Code and Atom editors. After install, run koka
to verify if koka installed correctly.
-
On Windows, the default install is to the user profile at
%APPDATA%\local
. You can change the installation directory using--prefix
. For example:
curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.6.0/install.bat && %tmp%\install-koka.bat --prefix=c:\programs\local
-
To uninstall a version, use the
--uninstall
option:
curl -sSL -o %tmp%\install-koka.bat https://github.com/koka-lang/koka/releases/download/v2.6.0/install.bat && %tmp%\install-koka.bat --uninstall
Other platforms
You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.