This library performs checks on the installed system to verify which optional components are available and whether all libraries that load shared objects/DLLs can be loaded.

 check_installation is det

Check features of the installed system. Performs the following tests:

1. Test whether features that depend on optional libraries are present (e.g., unbounded arithmetic support)
2. Test that all standard libraries that depend on foreign code are present.
3. provides a test_installation predicate to run the tests at runtime if the system was built with -DINSTALL_TESTS

If issues are found it prints a diagnostic message with a link to a wiki page with additional information about the issue.

 check_installation(-Issues:list(pair)) is det

As check_installation/0, but additionally returns a list of Component-Problem pairs. Problem is one of optional_not_found (optional component is not present), not_found (component is not present) or failed (component is present but cannot be loaded).

 test_installation is semidet

 test_installation(+Options) is semidet

Run regression tests in the installed system. Requires the system to be built using

cmake -DINSTALL_TESTS=ON

Options processed:

packages(+Boolean)

When false, do not test the packages

package(+Package)

Only test package package.

When running this predicate the working directory must be writeable and allow for writing executable files. This is due to tests for file system interaction and tests for generating stand-alone executables.

 check_config_files

Examines the locations of config files. The config files have moved in version 8.1.15

 update_config_files

Move config files from their old location to the new if the file or directory exists in the old location but not in the new.

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

 test_installation is semidet

 test_installation(+Options) is semidet

Run regression tests in the installed system. Requires the system to be built using

cmake -DINSTALL_TESTS=ON

Options processed:

packages(+Boolean)

When false, do not test the packages

package(+Package)

Only test package package.

When running this predicate the working directory must be writeable and allow for writing executable files. This is due to tests for file system interaction and tests for generating stand-alone executables.