Use the following one-liner to install the latest Ciao on your Linux or macOS machine:
curl https://ciao-lang.org/boot -sSfL | shor the following to install a full development environment:
curl https://ciao-lang.org/boot -sSfL | sh -s -- get devenvYou can explore and install more Ciao bundles from the catalog.
git clone https://github.com/ciao-lang/ciaoThen follow the installation instructions at INSTALLATION.
For enabling the development environment (Emacs-based), please follow the next steps:
./ciao-boot.sh get devenvSystem 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 devenvNote 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)
ciao uninstall ciao_emacs ciao rm ciao_emacs ciao rm devenvOnce all bundles have been removed, the core Ciao system can be uninstalled running ./ciao-boot.sh 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; ./ciao-boot.sh uninstall ) rm -rf ~/.ciaoroot/master rmdir ~/.ciaoroot > /dev/null 2>&1 || true