Representation of the mapping from module paths to files.

lib_root stores the result of the "--lib-root" flag when given.

lib_mappings stores the specified mappings of library paths.

iter f iterates f on current mappings.

set_lib_root dir sets the library root to directory dir. The following directories are set sequentially, such that the active one is the last valid one

• /usr/local/lib/lambdapi/lib_root/
• $OPAM_SWITCH_PREFIX/lib/lambdapi/lib_root
• $LAMBDAPI_LIB_ROOT/lib/lambdapi/lib_root
• the directory given as parameter of the --lib-root command line argument.

add_mapping (mn, fn) adds a new mapping from the module name mn to the file name fn if mn is not already mapped and fn is a valid directory. In case of failure the program terminates and a graceful error message is displayed.

file_of_path mp converts module path mp into the corresponding "file path" (with no attached extension). It is assumed that lib_root has been set, possibly with set_lib_root.

lp_src_extension is the expected extension for source files.

dk_src_extension is the extension for dk source files.

is_valid_src_extension s returns true iff s ends with lp_src_extension or dk_src_extension.

obj_extension is the expected extension for binary (object) files.

valids_extensions is the list of valid file extensions.

path_of_file escape fname computes the module path that corresponds to the filename fname. escape converts irregular path elements into escaped identifiers if needed.

• raises [Fatal]

  if fname doesn't have a valid extension.

install_path fname prefixes the filename fname by the path to the library root.