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.
