Predicates Available When Using The Make Package

Author(s): Manuel Hermenegildo.

Version: 1.10#7 (2006/4/26, 19:22:13 CEST)

Version of last change: 1.9#251 (2003/12/30, 22:8:3 CET)

This is the run-time module which implements the predicates which are provided when using the make library package in a given application. For example, they are used internally by lpmake.

• Usage and interface (make_rt)
• Documentation on exports (make_rt)

Usage and interface (make_rt)

Documentation on exports (make_rt)

PREDICATE: make/1:

Usage: make(TargetList)

• Description: 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.
• The following properties should hold at call time: TargetList is a list of targets. (basic_props:list/2)

REGTYPE: target/1:

Usage: target(T)

• Description: T is a Makefile target.

PREDICATE: make_option/1:

The predicate is of type data.

Usage: make_option(Option)

• Description: 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:

  make_option('-v'). % Verbose: prints progress messages (for debugging rules).
  

• The following properties should hold at call time: Option is an atom. (basic_props:atm/1)

PREDICATE: verbose_message/2:

Usage: verbose_message(Text, ArgList)

• Description: The text provided in Text is printed as a message, using the arguments in ArgList, if make_option('-v') is defined. Otherwise nothing is printed.
• The following properties should hold at call time: Text 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 name/2. (format:format_control/1) ArgList is a list. (basic_props:list/1)

PREDICATE: call_unknown/1:

call_unknown(G)

This is a local copy, to make package independent. Complication is so that flags are left as they were also upon failure.

PREDICATE: dyn_load_cfg_module_into_make/1:

Usage: dyn_load_cfg_module_into_make(ConfigFile)

• Description: Used to load dynamically a module (typically, a Makefile) into the make library from the application using the library.
• The following properties should hold at call time: ConfigFile is a source name. (streams_basic:sourcename/1)

Go to the first, previous, next, last section, table of contents.