On 2018-02-15 22:37, Harald Helfgott wrote:
First, here is the output of /usr/lib/gcc/x86_64-linux-gnu/7.2.0$ ldd cc1linux-vdso.so.1 => (0x00007fff8af56000) libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 (0x00007fcb74113000) libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 (0x00007fcb73efb000) libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4 (0x00007fcb73c96000) libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007fcb73a15000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fcb73811000) libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007fcb735f4000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fcb7329e000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fcb72ebe000) /lib64/ld-linux-x86-64.so.2 (0x00007fcb74499000) libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 (0x00007fcb72c3e000)
To expand on what François said: this is already problematic because it links to two different versions of libmpfr. So it has nothing to do with Sage, your system compiler is broken. If your GCC package up-to-date in Ubuntu?
Do you mean that I will have compile problems when working on my own programs, without sage?
Yes, although most programs can be compiled without hitting that bug. In Sage, only giac breaks as far as I know.
-- 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 https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
