Introduction

The Ciao builder manages collections of source code, implementing the automatic configuration, build, (un)installation, packing, and cleaning of collections of Ciao modules. It offers a simplified interface with other Ciao (compiler, documentation generator, etc.) and external tools (e.g., installation of third-party software for library bindings).

This tool also offers all the necessary machinery to bootstrap the Ciao system from a reduced set of dependencies.

See the Ciao reference manual for a description of bundles, workspaces, and the basic usage of the builder tool.