Skip to content

Downloads

Jump to bottom
Iliano Cervesato edited this page Apr 30, 2026 · 1 revision

Installation Instructions

Getting help

If you need any help or find a problem, please email Ishan Bhargava

Ubuntu and other Debian-based Linux distributions

  • Download the package and install it.
     > wget https://c0.cs.cmu.edu/downloads/cc0-debian.deb
     > sudo apt install ./cc0-debian.deb

where > is your local terminal prompt.

  • To uninstall, run
     > sudo apt remove cc0

MacOS

Apple Silicon/ARM Macs

In the instructions below, replace <your_username> with your actual username on your Mac.

  • Install a Universal version of libgmp using MacPorts:
sudo port install gmp +universal
  • Download two versions of MLTon:
    • Darwin amd64 with statically-linked GMP
    • Source code
  • Compile the MLTon source code, using the amd64 statically-linked version of mlton from mlton.org:
cd /Users/<your_username>/Downloads/mlton-src
env PATH=/Users/<your_username>/tmp/mlton-amd64/bin:$PATH LIBRARY_PATH=/opt/local/lib/ C_INCLUDE_PATH=/opt/local/include/ make WITH_GMP_DIR=/opt/local
  • Install the CC0 dependencies using Homebrew 
brew install autoconf automake libpng pkg-config gnu-getopt
  • Now we can download and compile CC0 by passing the appropriate location to libgmp and the version of MLTon we compiled from scratch:
git clone https://bitbucket.org/c0-lang/c0.git
cd c0/cc0/
./configure
env PATH=/Users/<your_username>/tmp/mlton/mlton/build/bin:$PATH LIBRARY_PATH=/opt/local/lib/ C_INCLUDE_PATH=/opt/local/include/  make -j
  • Then bin/cc0 and bin/coin can be used normally. You can create links to these files from some directory on your $PATH

Intel/x86 Macs

  • Run
     > brew tap cmu/cc0 https://bitbucket.org/c0-lang/downloads.git
     > brew install cc0

where > is your local terminal prompt.

  • To test the installation:
     > brew test cc0
  • To uninstall, run
     > brew uninstall cc0

Windows

On Windows, we recommend installing Windows Subsystem for Linux v2 and then following the directions for Ubuntu/Debian above

Installing from source

C0 depends on libpng and libncurses. If you have those installed (e.g. via a package manager), you should be able to compile from scratch:

     > git clone https://bitbucket.org/c0-lang/c0.git
     > cd c0/cc0
     > ./configure
     > make -j
     > make install PREFIX=<your prefix>

Other Systems are Supported via Docker

     > wget https://c0.cs.cmu.edu/downloads/Dockerfile
     > docker build -t c0 .

where > is your local terminal prompt (the second command may take a while).

  • On your first invocation of docker, run
     > docker run --name=c0_container -v <PATH_TO_C0_FILES>:/my_c0_dir -w /my_c0_dir -it c0

where <PATH_TO_C0_FILES> is where the files you are trying to run are. Once in docker, run cc0 or coin as you would on any Linux system. Once you are done, enter

     # exit

to exit docker (where # is the docker prompt).

  • On subsequent invocations, run
     > docker start -i c0_container
  • You can remove the container c0_container by running
     > docker container ls -a | grep c0
     > docker container rm [container_id]

where [container_id] is the first field of the first command

Older versions

We provide older versions only as 64-bit Linux binaries.

Tutorial

C0 reference

C0 Libraries

Downloads

Clone this wiki locally