\raggedbottom
\input texinfo @c -*- texinfo -*-
@comment %**start of header
@setfilename ciao_builder_ref
@settitle Build Automation for Ciao
@comment @paragraphindent 0
@setchapternewpage odd
@comment @footnotestyle separate
@defcodeindex li
@defcodeindex pd
@defcodeindex pr
@defcodeindex te
@defcodeindex de
@defindex co
@defindex au
@defcodeindex gl
@iftex
@comment @smallbook
@afourpaper
@tolerance 10000
@hbadness 10000
@end iftex
@macro hfill
@tex
@hfill
@end tex
@end macro
@comment %**end of header

@iftex

@titlepage
@title Build Automation for Ciao
@comment @font@authorrm=cmbx10 scaled @magstep2
@subtitle REFERENCE MANUAL
@subtitle @b{The Ciao Documentation Series}
@subtitle @uref{https://ciao-lang.org/}
@subtitle @i{Generated/Printed on:} @today

@author The Ciao Development Team
@author Jose F. Morales
@comment Copyright page
@page
@vskip 0pt plus 1filll

@end titlepage

@pageno 1
@contents
@end iftex
@ifinfo


@node Top, Introduction, (dir), (dir)
@top Build Automation for Ciao
@end ifinfo
@ifinfo
@end ifinfo
@ifnotinfo
@chapter Summary
@end ifnotinfo

@glindex ciao_builder
@code{ciao_builder} is a @uref{https://en.wikipedia.org/wiki/Build_automation,build automation} system for managing Ciao libraries and programs. 
@glindex ciao_builder
@code{ciao_builder} works on structured collections of code, dubbed as 
@glindex bundle
bundles.

@menu
* Introduction::
* The standalone command-line builder::
* Manifest compiler::
* Builder commands::
* Bundle configuration::
* Bundle fetch::
* Publish from a mono-repository::

Indexes

* Library/Module Index::
* Predicate Index::
* Property Index::
* Regular Type Index::
* Declaration Index::
* Concept Index::
* Author Index::
* Global Index::
@end menu
@include ciao_builder_refintro.texic
@include ciao_builder.texic
@include ciaocl_parser.texic
@include ciaocl_help.texic
@include manifest_compiler.texic
@include bundlehooks_holder.texic
@include builder_cmds.texic
@include grade_bin.texic
@include grade_docs.texic
@include builder_targets.texic
@include third_party_install.texic
@include third_party_custom.texic
@include ciaoc_aux.texic
@include lpdoc_aux.texic
@include car_maker.texic
@include eng_defs.texic
@include builder_aux.texic
@include install_aux.texic
@include cmake_aux.texic
@include info_installer.texic
@include register_in_script.texic
@include bundle_hash.texic
@include detcheader.texic
@include messages_aux.texic
@include interactive_aux.texic
@include bundle_configure.texic
@include bundle_fetch.texic
@include ciao_publish.texic
@include ciao_builder_refrefs.texic
@include ciao_builder_refliindex.texic
@include ciao_builder_refpdindex.texic
@include ciao_builder_refprindex.texic
@include ciao_builder_refteindex.texic
@include ciao_builder_refdeindex.texic
@include ciao_builder_refcoindex.texic
@include ciao_builder_refauindex.texic
@include ciao_builder_refglindex.texic
@bye
