You would have to either do * make distclean before typing make or * run ./configure before make
> On 16/02/2018, at 11:16, Harald Helfgott <harald.helfg...@gmail.com> wrote: > > > I typed > > export SAGE_INSTALL_GCC='yes' > > and then did "make", and got what looks like exactly the same error at > exactly the same place. Log file attached. > > Le jeudi 15 février 2018 17:01:22 UTC-5, Thierry (sage-googlesucks@xxx) a > écrit : > Hi, > > On Fri, Feb 16, 2018 at 10:56:07AM +1300, François Bissey wrote: > > I’d say the compiler is in a broken state at the system level. Exactly like > > what happens in sage after the mpfr upgrade. > > I think it would be best to build sage’s own gcc here. > > Which can be done by doing > > export SAGE_INSTALL_GCC='yes' > > before make. > > Ciao, > Thierry > > > > > > > On 16/02/2018, at 10:37, Harald Helfgott <harald....@gmail.com> wrote: > > > > > > 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+...@googlegroups.com. > > > To post to this group, send email to sage-...@googlegroups.com. > > > Visit this group at https://groups.google.com/group/sage-devel. > > > For more options, visit https://groups.google.com/d/optout. > > > > -- > > 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+...@googlegroups.com. > > To post to this group, send email to sage-...@googlegroups.com. > > Visit this group at https://groups.google.com/group/sage-devel. > > For more options, visit https://groups.google.com/d/optout. > > -- > 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. > <giac-1.2.3.47.p0.log> -- 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.
