First, here is the output of /usr/lib/gcc/x86_64-linux-gnu/7.2.0$ ldd cc1
linux-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)
Here is the output of the second command:
linux-vdso.so.1 => (0x00007ffdd0f78000)
libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15
(0x00007f6d62321000)
libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3
(0x00007f6d62109000)
libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4
(0x00007f6d61ea4000)
libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10
(0x00007f6d61c23000)
libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f6d61a1f000)
libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f6d61802000)
libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f6d614ac000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f6d610cc000)
/lib64/ld-linux-x86-64.so.2 (0x00007f6d626a7000)
libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6
(0x00007f6d60e4c000)
What to do?
Best
Harald
Le jeudi 15 février 2018 16:18:18 UTC-5, Jeroen Demeyer a écrit :
>
> On 2018-02-15 21:34, Harald Helfgott wrote:
> > What is the issue here? What can be done?
>
> Seems like a conflict between the mpfr/mpc libraries used by your
> system's GCC and the libraries in Sage.
>
> Can you try to find the location of the "cc1" program used by GCC.
> Typically, this will be in a location like
> /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1 and then do (adjusting
> the paths)
>
> $ ldd /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1
>
> And from the Sage directory:
>
> $ ./sage --sh -c "ldd /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1"
>
> and post the output of both commands.
>
--
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.
