Targets for builder

Author(s): Jose F. Morales.

This module defines predicates to map between input targets (which can be paths to bundles, bundle names, or paths to workspaces) and resolved target names (absolute paths to workspace or symbolic bundle names)

Usage and interface

Library usage:
:- use_module(ciaobld(builder_targets)).
Exports:
- Predicates:
  rescan_targets/1, resolve_targets/3.

Documentation on exports

PREDICATErescan_targets/1

Usage:rescan_targets(Targets)

(Re)scan bundles at the workspaces where targets are located

Call and exit should be compatible with:
(basic_props:list/2)Targets is a list of atms.
The following properties should hold at call time:
(term_typing:nonvar/1)Targets is currently a term which is not a free variable.

PREDICATEresolve_targets/3

Usage:resolve_targets(Targets0,OnUnknown,Targets)

Resolve targets (which may be paths). This assumes that rescan_targets/1 has been called

Call and exit should be compatible with:
(basic_props:list/2)Targets0 is a list of atms.
(basic_props:term/1)OnUnknown is any term.
(basic_props:list/2)Targets is a list of targets.
The following properties should hold at call time:
(term_typing:nonvar/1)Targets0 is currently a term which is not a free variable.
(term_typing:var/1)Targets is a free variable.

Documentation on imports

This module has the following direct dependencies:

Application modules:
bundle_scan, builder_aux, manifest_compiler, bundle_fetch.
System library modules:
datafacts_rt, hiordlib, system.
Packages:
prelude, initial, condcomp, fsyntax, hiord, assertions, assertions/assertions_basic, regtypes, isomodes, datafacts.