Mentions légales du service

Skip to content
Snippets Groups Projects
user avatar
Philippe Theveny authored
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/mpfi/tags/1.5.0@598 e2f78e0c-bb60-4709-9413-9660a31d4696
862631d2
History
To install MPFI library :

./configure extra options (read INSTALL for general options)

--with-gmp-dir=<gmp installation directory>

IMPORTANT:
Note that default installation path is /usr/local/lib.
If you configured MPFI with --prefix=some/path or if you are using a system 
like Debian, the library may not be found at running time.

If you compile a soft using mpfi and have an error at execution time such as:

error while loading shared libraries: libmpfi.so.0: cannot open shared object file: No such file or directory

try adding /some/path (or /usr/local/lib in the case of Debian) to LD_LIBRARY_PATH