Latest Version

Use the following one-liner to install the latest Ciao on your Linux or macOS machine:

curl -sSfL | sh
or the following to install a full development environment:
curl -sSfL | sh -s -- get devenv
You can explore and install more Ciao bundles from the catalog.

Installation from source

Clone the repository:
git clone
Then follow the installation instructions at INSTALLATION.

For enabling the development environment (Emacs-based), please follow the next steps:

  • install the required dependencies specified in the INSTALLATION file (e.g., emacs)
  • replace the initial ./ configure command by
./ get devenv
System configuration options are allowed as additional arguments (see INSTALLATION file for configuration flags, etc.)

Alternatively, it can be installed (experimental!) on top of an existing minimum ciao installation:

ciao get devenv
Note for Windows users: Builds for Windows in the latest Ciao version are experimental (it supports MSYS2). Please contact us or use the binaries for version 1.15 (Other Versions)

Uninstalling Ciao

Uninstalling Ciao requires first uninstalling each of separately installed bundles. Currently, this needs to be done manually per bundle. E.g., uninstalling the development environment (if installed) requires:

ciao uninstall ciao_emacs
ciao rm ciao_emacs
ciao rm devenv
Once all bundles have been removed, the core Ciao system can be uninstalled running ./ uninstall from the source directory (then remove the directory).

If installed using a one-liner, the system must be removed from the default installation directory at ~/.ciaoroot/master. E.g., using a script like:

( cd ~/.ciaoroot/master; ./ uninstall )
rm -rf ~/.ciaoroot/master
rmdir ~/.ciaoroot > /dev/null 2>&1 || true