curl https://ciao-lang.org/boot -sSfL | shor the following to install a full development environment (requires Emacs):
curl https://ciao-lang.org/boot -sSfL | sh -s -- get devenvThe development environment (devenv bundle) can be installed on top of an existing core installation using ciao get devenv.
Other Ciao components are distributed in separate bundles, which you can explore at the bundle catalog (including links to documentation, binaries and build status, as well as source code repositories).
Note for Windows users: Native builds for Windows are experimental supported via MSYS2. Please contact us if you need it.
git clone https://github.com/ciao-lang/ciaoThen follow the installation instructions at the Ciao manual. In a nutshell, ./ciao-boot.sh local-install is enough to perform a core installation, while ./ciao-boot.sh get devenv will install the full environment.
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