Customizing path aliases

Author(s): Daniel Cabeza.

This library provides means for customizing the path aliases known by an executable from the CIAOALIASPATH environment variable. This is used by many applications of Ciao, including ciaoc, ciaosh, and ciao-shell, specially during system boostrapping.

This library is not recommended for user programs. Use bundles instead.

Usage and interface

Library usage:
:- use_module(library(libpaths)).
Exports:
- Predicates:
  get_alias_path/0.
- Multifiles:
  file_search_path/2, library_directory/1.

Documentation on exports

PREDICATEget_alias_path/0

get_alias_path

Consult the environment variable CIAOALIASPATH and add facts to predicates library_directory/1 and file_search_path/2 to define new library paths and path aliases. The format of CIAOALIASPATH is a sequence of paths or alias assignments separated by a path list separator character (see extract_paths/2), an alias assignment is the name of the alias, an = and the path represented by that alias (no blanks allowed). For example, given

   CIAOALIASPATH=/home/bardo/ciao:contrib=/usr/local/lib/ciao

the predicate will define /home/bardo/ciao as a library path and /usr/local/lib/ciao as the path represented by contrib.

Documentation on multifiles

PREDICATEfile_search_path/2

See Basic file/stream handling. The predicate is multifile.
The predicate is of type dynamic.
file_search_path(X,Y)

The following properties hold upon exit:
(basic_props:gnd/1)X is ground.
(basic_props:gnd/1)Y is ground.

PREDICATElibrary_directory/1

See Basic file/stream handling. The predicate is multifile.
The predicate is of type dynamic.
library_directory(X)

The following properties hold upon exit:
(basic_props:gnd/1)X is ground.

Documentation on imports

This module has the following direct dependencies:

System library modules:
datafacts_rt, system, lists.
Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, datafacts.