Did you know ... Search Documentation:
Issues with gmp

Consequences

If SWI-Prolog is not compiled with GMP support, it does not support

  1. Unbounded integers
  2. Rational numbers
  3. Various random number and cryptographic features

Affected libraries

Solutions

  • If a binary distribution starts, but check_installation/0 reports GMP as missing, you should contact the packager of the distribution and point at this page.
  • The binary installations for MacOS and Windows provided by us bundle the GMP library. If there are issues, report them.
  • If you built from source, make sure the GMP development libraries are installed. Perform a fully new build afterwards and re-check.
Tags are associated to your profile if you are logged in
Tags:
LogicalCaptain said (2020-10-27T09:24:50):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

More on GMP at gmplib.org and the Wikipedia GMP entry. Distributed with a dual licensing of LGPLv3 and GPLv2.

On Fedora, run this as root to install the required packages:

dnf install gmp-devel gmp