Table of Contents
- Introduction
- The standalone command-line builder
- Ciao Command-line Help
- bundlehooks_holder (library)
- Builder Commands
- Extended interface to Ciao compiler
- Auxiliary Predicates for Builder
- Installation of info files
- Register/unregister Code in Scripts (for bash, csh, emacs, etc.)
- Bundle Hashing
- C Header Detection
- Messages for the build process
- Auxiliary Code for User Interaction
- Bundle Configuration
- Packager