I am assuming this is on fermat.
The problem seems to be that libmpfr.so.4 is found in /usr/local/lib,
but that libgmp.so.11 which also lives in /usr/local/lib, is not found:
jdemeyer@fermat:~$ ldd /usr/lib/gcc/x86_64-linux-gnu/4.6/cc1
linux-vdso.so.1 => (0x00007fff55c41000)
libmpc.so.2 => /usr/lib/x86_64-linux-gnu/libmpc.so.2
(0x00007fb127dbc000)
libmpfr.so.4 => /usr/local/lib/libmpfr.so.4 (0x00007fb127b61000)
libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10
(0x00007fb1278f2000)
libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fb1276ee000)
libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007fb1274d7000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fb127117000)
/lib64/ld-linux-x86-64.so.2 (0x00007fb127fe7000)
libgmp.so.11 => not found
This is because /usr/local/lib/libmpfr.so.4 is in the ld.so.cache but
/usr/local/lib/libgmp.so.11 is not. I don't know why this is the case.
jdemeyer@fermat:~$ ldconfig -p |grep libgmp
libgmpxx.so.4 (libc6,x86-64) =>
/usr/lib/x86_64-linux-gnu/libgmpxx.so.4
libgmpxx.so (libc6,x86-64) => /usr/lib/x86_64-linux-gnu/libgmpxx.so
libgmp.so.10 (libc6,x86-64) =>
/usr/lib/x86_64-linux-gnu/libgmp.so.10
libgmp.so.3 (libc6,x86-64) => /usr/lib/libgmp.so.3
libgmp.so (libc6,x86-64) => /usr/lib/x86_64-linux-gnu/libgmp.so
jdemeyer@fermat:~$ ldconfig -p |grep libmpfr
libmpfrcx.so.1 (libc6,x86-64) => /usr/local/lib/libmpfrcx.so.1
libmpfrcx.so (libc6,x86-64) => /usr/local/lib/libmpfrcx.so
libmpfr.so.4 (libc6,x86-64) => /usr/local/lib/libmpfr.so.4
libmpfr.so.4 (libc6,x86-64) =>
/usr/lib/x86_64-linux-gnu/libmpfr.so.4
libmpfr.so.1 (libc6,x86-64) => /usr/lib/libmpfr.so.1
libmpfr.so (libc6,x86-64) => /usr/local/lib/libmpfr.so
libmpfr.so (libc6,x86-64) => /usr/lib/x86_64-linux-gnu/libmpfr.so
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
