| [ << ] | [ < ] | [ Up ] | [ > ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
4.2.2 GMP Library (optional)
To be able to deal with insanely large coefficient, the user will need to
install the GNU Multiple Precision Library (GMP for short) version 4.1.4
or above. It can be freely downloaded from http://www.swox.com/gmp.
Note that the isl backend currently requires GMP.
The user can compile GMP by typing the following commands on the GMP root
directory:
-
./configure -
make - And as root:
make install
The GMP default installation is /usr/local, the same method to
fix a library path problem applies as with PolyLib (see section PolyLib (optional)).
If you want to use the PolyLib backend, then
PolyLib has to be built using the GMP library by specifying the option
‘--with-libgmp=PATH_TO_GMP’ to the PolyLib configure script
(where PATH_TO_GMP is /usr/local if you did not change the GMP
installation directory). Then you have to set the convenient CLooG configure
script options to build the GMP version (see section Optional Features).
This document was generated on August 20, 2013 using texi2html 5.0.