package lambdapi
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=9bc8ae3694dd51bd5742e7aba760bd2878c4b0e5ef9b3d4a7b06f3cd303b611d
sha512=c812c3129b3d85b0c4d7e741d11137dbb4fe2a0aaba3a5968409080b742924ecb506280c19ad83ef6bc910346db96d87780313fa7683c29345edae16ae79c704
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.