The output of ldd cc1 is now linux-vdso.so.1 => (0x00007fff966bd000) libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 (0x00007f001ac2d000) libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 (0x00007f001aa15000) libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 (0x00007f001a795000) libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007f001a514000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f001a310000) libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f001a0f3000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f0019d9d000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f00199bd000) /lib64/ld-linux-x86-64.so.2 (0x00007f001afb3000)
That looks right, no? Le jeudi 15 février 2018 19:07:42 UTC-5, Dima Pasechnik a écrit : > > > > On Thursday, February 15, 2018 at 10:53:40 PM UTC, Harald Helfgott wrote: >> >> Hi Samuel, >> >> >I would recommend the following before proceeding with the installation: >> > >> > sudo apt full-upgrade >> > sudo apt-get install binutils gcc g++ gfortran make m4 perl tar \ >> > git openssl libssl-dev texlive dvipng ffmpeg imagemagick tk tk-dev >> >> Thanks for this! I just did as much, and sagemath v8.1 (the version I had >> installed in binary from a repository) magically started to work. >> >> Just out of curiosity: why would it not have worked before? Should I keep >> my eyes open for other misbehavior? >> > > It would be good to know the output of this now: > > $ ldd /usr/libexec/gcc/x86_64-pc-linux-gnu/4.9.4/cc1 > > In your previous message it had lines > > libmpfr.so.4 => /usr/lib/x86_64-linux-gnu/libmpfr.so.4 > (0x00007fcb73c96000) > libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 > (0x00007fcb72c3e000) > > which looks like a library conflict (I suppose that's what Francois > referred to " the compiler is in a broken state at the system level") > > Perhaps it got fixed by your call to apt-get (and if not, it's still means > a broken gcc toolchain). > > > -- 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.