<HTML>
<HEAD>
<!-- Created by texi2html 1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A> from ciao.texi on 28 January 2007 -->
<LINK rel="stylesheet" href="ciao.css" type="text/css">
<TITLE>The Ciao Prolog System - Predicates Available When Using The Make Package</TITLE>
</HEAD>
<BODY>
Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_91.html">previous</A>, <A HREF="ciao_93.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>.
<P><HR><P>
<H1><A NAME="SEC389" HREF="ciao_toc.html#TOC389">Predicates Available When Using The Make Package</A></H1>
<P>
<A NAME="IDX4940"></A>
<P>
<STRONG>Author(s):</STRONG> Manuel Hermenegildo.
<P>
<STRONG>Version:</STRONG> 1.10#7 (2006/4/26, 19:22:13 CEST)
<P>
<STRONG>Version of last change:</STRONG> 1.9#251 (2003/12/30, 22:8:3 CET)
<P>
This is the run-time module which implements the predicates which are provided when using the
<A NAME="IDX4941"></A>
<CODE>make</CODE> library package in a given application. For example, they are used internally by
<A NAME="IDX4942"></A>
<CODE>lpmake</CODE>.
<UL>
<LI><A HREF="ciao_92.html#SEC390">Usage and interface (make_rt)</A>
<LI><A HREF="ciao_92.html#SEC391">Documentation on exports (make_rt)</A>
</UL>
<H2><A NAME="SEC390" HREF="ciao_toc.html#TOC390">Usage and interface (<CODE>make_rt</CODE>)</A></H2>
<div class="cartouche">
<UL>
<LI><STRONG>Library usage:</STRONG>
This module is loaded automatically when the
<A NAME="IDX4943"></A>
<CODE>make</CODE> library package is used.
<LI><STRONG>Exports:</STRONG>
<UL>
<LI><EM>Predicates:</EM>
<A NAME="IDX4944"></A>
<CODE>make/1</CODE>,
<A NAME="IDX4945"></A>
<CODE>make_option/1</CODE>,
<A NAME="IDX4946"></A>
<CODE>verbose_message/2</CODE>,
<A NAME="IDX4947"></A>
<CODE>call_unknown/1</CODE>,
<A NAME="IDX4948"></A>
<CODE>dyn_load_cfg_module_into_make/1</CODE>.
<LI><EM>Regular Types:</EM>
<A NAME="IDX4949"></A>
<CODE>target/1</CODE>.
</UL>
<LI><STRONG>Other modules used:</STRONG>
<UL>
<LI><EM>System library modules:</EM>
<A NAME="IDX4950"></A>
<CODE>compiler/compiler</CODE>,
<A NAME="IDX4951"></A>
<CODE>filenames</CODE>,
<A NAME="IDX4952"></A>
<CODE>terms</CODE>,
<A NAME="IDX4953"></A>
<CODE>system</CODE>,
<A NAME="IDX4954"></A>
<CODE>messages</CODE>,
<A NAME="IDX4955"></A>
<CODE>format</CODE>.
</UL>
</UL>
</div class="cartouche">
<H2><A NAME="SEC391" HREF="ciao_toc.html#TOC391">Documentation on exports (<CODE>make_rt</CODE>)</A></H2>
<P>
<A NAME="IDX4956"></A>
<A NAME="IDX4957"></A>
<DL>
<DT><span class="define">PREDICATE:</span> <B>make/1:</B>
<DD><A NAME="IDX4958"></A>
<P>
<STRONG>Usage:</STRONG> <CODE>make(TargetList)</CODE>
<UL>
<LI><EM>Description:</EM> This is the main entry point to the make library. Makes the list of targets one by one and any needed intermediate targets as dictated by the dependency rules.
<LI><EM>The following properties should hold at call time:</EM>
<CODE>TargetList</CODE> is a list of <CODE>target</CODE>s.
(<CODE>basic_props:list/2</CODE>)
</UL>
</DL>
<P>
<A NAME="IDX4959"></A>
<A NAME="IDX4960"></A>
<DL>
<DT><span class="define">REGTYPE:</span> <B>target/1:</B>
<DD><A NAME="IDX4961"></A>
<P>
<STRONG>Usage:</STRONG> <CODE>target(T)</CODE>
<UL>
<LI><EM>Description:</EM> <CODE>T</CODE> is a Makefile target.
</UL>
</DL>
<P>
<A NAME="IDX4962"></A>
<A NAME="IDX4963"></A>
<DL>
<DT><span class="define">PREDICATE:</span> <B>make_option/1:</B>
<DD><A NAME="IDX4964"></A>
<P>
The predicate is of type <EM>data</EM>.
<P>
<STRONG>Usage:</STRONG> <CODE>make_option(Option)</CODE>
<UL>
<LI><EM>Description:</EM> Asserting/retracting facts of this predicate sets/clears library options. Default is no options (i.e., the predicate is undefined). The following values are supported:
<PRE>
make_option('-v'). % Verbose: prints progress messages (for debugging rules).
</PRE>
<LI><EM>The following properties should hold at call time:</EM>
<CODE>Option</CODE> is an atom.
(<CODE>basic_props:atm/1</CODE>)
</UL>
</DL>
<P>
<A NAME="IDX4965"></A>
<A NAME="IDX4966"></A>
<DL>
<DT><span class="define">PREDICATE:</span> <B>verbose_message/2:</B>
<DD><A NAME="IDX4967"></A>
<P>
<STRONG>Usage:</STRONG> <CODE>verbose_message(Text, ArgList)</CODE>
<UL>
<LI><EM>Description:</EM> The text provided in <CODE>Text</CODE> is printed as a message, using the arguments in <CODE>ArgList</CODE>, if <CODE>make_option('-v')</CODE> is defined. Otherwise nothing is printed.
<LI><EM>The following properties should hold at call time:</EM>
<CODE>Text</CODE> is an atom or string describing how the arguments should be formatted. If it is an atom it will be converted into a string with <CODE>name/2</CODE>.
(<CODE>format:format_control/1</CODE>)
<CODE>ArgList</CODE> is a list.
(<CODE>basic_props:list/1</CODE>)
</UL>
</DL>
<P>
<A NAME="IDX4968"></A>
<A NAME="IDX4969"></A>
<DL>
<DT><span class="define">PREDICATE:</span> <B>call_unknown/1:</B>
<DD><A NAME="IDX4970"></A>
<P>
<CODE>call_unknown(G)</CODE>
<P>
This is a local copy, to make package independent. Complication is so that flags are left as they were also upon failure.
</DL>
<P>
<A NAME="IDX4971"></A>
<A NAME="IDX4972"></A>
<DL>
<DT><span class="define">PREDICATE:</span> <B>dyn_load_cfg_module_into_make/1:</B>
<DD><A NAME="IDX4973"></A>
<P>
<STRONG>Usage:</STRONG> <CODE>dyn_load_cfg_module_into_make(ConfigFile)</CODE>
<UL>
<LI><EM>Description:</EM> Used to load dynamically a module (typically, a
<A NAME="IDX4974"></A>
<CODE>Makefile</CODE>) into the make library from the application using the library.
<LI><EM>The following properties should hold at call time:</EM>
<CODE>ConfigFile</CODE> is a source name.
(<CODE>streams_basic:sourcename/1</CODE>)
</UL>
</DL>
<P><HR><P>
Go to the <A HREF="ciao_1.html">first</A>, <A HREF="ciao_91.html">previous</A>, <A HREF="ciao_93.html">next</A>, <A HREF="ciao_241.html">last</A> section, <A HREF="ciao_toc.html">table of contents</A>.
</BODY>
</HTML>
