Skip to content

v2.0.16
Compare
Choose a tag to compare
@daanx daanx released this 15 Feb 01:14
· 2250 commits to master since this release
v2.0.16
34604c4

After installing, read the getting started guide.

Linux and macOS (64-bit x86)

Tested on Ubuntu 18, 20, Debian 10, and macOS X Catalina, and should run on most Linux distributions.
From a command prompt, run:

> curl -sSL https://github.com/koka-lang/koka/releases/download/v2.0.16/install.sh | sh

This also installs syntax highlighting for the VS Code and Atom editors. After install, run

> koka

to verify koka installed correctly.

  • If curl is not installed on your system, use 
    > wget -qO- https://github.com/koka-lang/koka/releases/download/v2.0.16/install.sh | sh
  • 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.0.16/install.sh | sh -s -- --prefix=~/.local
  • To uninstall a version, use the --uninstall switch: 
    > curl -sSL https://github.com/koka-lang/koka/releases/download/v2.0.16/install.sh | sh -s -- --uninstall

Windows 10 (64-bit x86)

Koka requires Visual Studio to be installed.
Open a Visual Studio x64 toolset command prompt and download and run the installer:

> curl -L -o install.bat https://github.com/koka-lang/koka/releases/download/v2.0.16/install.bat 
> install.bat

which will install koka to %APPDATA%\local\bin. You may need to add this directory to your PATH environment variable.
After this you can run the koka command from a Visual Studio x64 toolset command prompt where it will use cl (or clang-cl) to compile and be able to link with the standard Windows libraries:

> koka
  • You can also download the Windows tar.gz bundle manually and use the following command to unpack it: 
    > tar -xzf koka-v2.0.16-windows-amd64.tar.gz -C <destination folder>
    and add <destination folder>\bin to the PATH environment variable to find koka .
  • If the Clang 64-bit compiler is installed, Koka will use clang-cl (instead of cl) which usually generates faster code. You can use koka --cc=cl to select the Visual Studio compiler explicitly.

Other platforms

You need to build from source, however Koka has few dependencies and should build from source without problems on most common platforms.

Assets 7
Loading