package lambdapi
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=2c251021b6fac40c05282ca183902da5b1008e69d9179d7a9543905c2c21a28a
sha512=69535f92766e6fedc2675fc214f0fb699bde2a06aa91d338c93c99756235a293cf16776f6328973dda07cf2ad402e58fe3104a08f1a896990c1778b42f7f9fcf
doc/lambdapi.common/Common/Library/index.html
Module Common.Library
Source
Lambdapi library management.
lib_root
stores the result of the "--lib-root"
flag when given.
lib_mappings
stores the specified mappings of library paths.
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.
install_path fname
prefixes the filename fname
by the path to the library root.