Development environment for Ciao

This is the Emacs-based development environment for Ciao. See Manifest for contents of this bundle.

Installation methods (one of):

./ciao-boot.sh get devenv

System configuration options are allowed as additional arguments (see INSTALLATION file for configuration flags, etc.)

ciao get devenv

curl https://ciao-lang.org/boot -sSfL | sh -s -- get devenv

where the uninstallation methods are, respectively:

./ciao-boot.sh uninstall (then remove directory)
ciao uninstall ciao_emacs, ciao rm ciao_emacs, ciao rm devenv, etc. (must be done by hand per bundle)
remove system at ~/.ciaoroot/master:

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

Provide feedback