Fwd: GMP make check failure

[Vincent Lefevre]

On 2013-09-30 01:47:40 +0200, Vincent Lefevre wrote:
> Once GMP is correctly installed and works, the above problem shouldn't
> occur on Ubuntu, as you installed GMP under /usr/local; check that
> /etc/ld.so.conf.d/libc.conf contains:
> 
> # libc default configuration
> /usr/local/lib

After some testing, this is not sufficient: the dynamic linker cache
should also be updated by running "ldconfig" as root (this problem
may remain unnoticed by some users if they don't use GMP immediately,
since when installing/upgrading packages, ldconfig may be run
automatically).

-- 
Vincent Lefèvre <vincent at vinc17.net> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)