Much better! This is healthy.

> On 16/02/2018, at 17:35, Harald Helfgott <harald.helfg...@gmail.com> wrote:
> 
> 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.

-- 
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.

Reply via email to