Hi Jeroen,
Sorry for the delay, here is the output you requested
>From shell:
linux-vdso.so.1 (0x00007fffd39e8000)
libmpc.so.3 => not found
libmpfr.so.4 => /usr/lib64/libmpfr.so.4 (0x00007fa61e110000)
libgmp.so.11 => not found
libdl.so.2 => /lib64/libdl.so.2 (0x00007fa61df08000)
libz.so.1 => /lib64/libz.so.1 (0x00007fa61dcf0000)
libm.so.6 => /lib64/libm.so.6 (0x00007fa61d9f8000)
libc.so.6 => /lib64/libc.so.6 (0x00007fa61d650000)
libgmp.so.10 => /usr/lib64/libgmp.so.10 (0x00007fa61d3d0000)
/lib64/ld-linux-x86-64.so.2 (0x00007fa61e370000)
from sage -sh
linux-vdso.so.1 (0x00007fff9f800000)
libmpc.so.3 => /data2/sage-5.11/local/lib64/libmpc.so.3
(0x00007ffa6c5b0000)
libmpfr.so.4 => /data2/sage-5.11/local/lib/libmpfr.so.4
(0x00007ffa6c350000)
libgmp.so.11 => /data2/sage-5.11/local/lib/libgmp.so.11
(0x00007ffa6c0e0000)
libdl.so.2 => /lib64/libdl.so.2 (0x00007ffa6beb8000)
libz.so.1 => /data2/sage-5.11/local/lib/libz.so.1 (0x00007ffa6bca0000)
libm.so.6 => /lib64/libm.so.6 (0x00007ffa6b9a8000)
libc.so.6 => /lib64/libc.so.6 (0x00007ffa6b600000)
/lib64/ld-linux-x86-64.so.2 (0x00007ffa6c7c8000)
I believe I did use j > 1 during the build but I can't remember. I will
try to recompile with just make for both 5.11 and 5.10 to see if it works.
Thanks!
On Thursday, September 26, 2013 9:02:16 AM UTC-7, Jeroen Demeyer wrote:
>
> 1) Please give the output of the following command, both from a normal
> shell and from within the Sage shell (sage --sh):
>
> $ ldd /data2/sage-5.11/local/lib/gcc/x86_64-unknown-linux-gnu/4.7.3/cc1
>
> 2) Is the error reproducible (does it happen again if you run "make")?
>
> 3) Did you use MAKE="make -jN" with N > 1? If yes, please send me the
> whole install.log, as the error might be a race condition with parallel
> builds.
>
--
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.
For more options, visit https://groups.google.com/groups/opt_out.
