On 02/16/2018 02:40 AM, Jeroen Demeyer wrote: > On 2018-02-15 23:59, Andy Howell wrote: >> I think you may have something else wrong with your system. I too >> upgraded from 17.04 to 17.10. I built 8.2beta 3 with no problems. I'm >> compiling beta 5 right now. > > It would be interesting to see the output of > > $ ldd /usr/lib/gcc/x86_64-linux-gnu/7.2.0/cc1 > > on your system. If libmpfr appears twice, it is really a bug in Ubuntu. > Looks OK here:
ldd /usr/lib/gcc/x86_64-linux-gnu/7.2.0/cc1 linux-vdso.so.1 => (0x00007fff551a7000) libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 (0x00007f92bab37000) libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 (0x00007f92ba91f000) libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4 (0x00007f92ba6ba000) libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007f92ba43a000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f92ba236000) libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f92ba019000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f92b9cc3000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f92b98e3000) /lib64/ld-linux-x86-64.so.2 (0x00007f92baebd000) Andy -- 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.
