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.

 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.