Skip to content

v2.0.10

Choose a tag to compare

View all tags
@daanx daanx released this 28 Nov 23:08
· 3016 commits to master since this release
v2.0.10
7214374

Initial binary releases -- still experimental.

Linux and macOS (64-bit x86)

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

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

This also installs syntax highlighting for the Visual Studio 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.10/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.10/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.10/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.10/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.10-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.
Assets 7
Loading