Re: [sage-devel] Re: SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0

2018-02-15 Thread François Bissey
Much better! This is healthy.

> On 16/02/2018, at 17:35, Harald Helfgott  wrote:
> 
> The output of ldd cc1 is now
> 
> linux-vdso.so.1 =>  (0x7fff966bd000)
> libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 
> (0x7f001ac2d000)
> libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 (0x7f001aa15000)
> libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 
> (0x7f001a795000)
> libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 
> (0x7f001a514000)
> libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x7f001a31)
> libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x7f001a0f3000)
> libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x7f0019d9d000)
> libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x7f00199bd000)
> /lib64/ld-linux-x86-64.so.2 (0x7f001afb3000)
> 
> 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 
> (0x7fcb73c96000)
> libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 
> (0x7fcb72c3e000)
>  
> 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.


[sage-devel] Re: SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0

2018-02-15 Thread Harald Helfgott
The output of ldd cc1 is now

linux-vdso.so.1 =>  (0x7fff966bd000)
libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 
(0x7f001ac2d000)
libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 
(0x7f001aa15000)
libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 
(0x7f001a795000)
libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 
(0x7f001a514000)
libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x7f001a31)
libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x7f001a0f3000)
libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x7f0019d9d000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x7f00199bd000)
/lib64/ld-linux-x86-64.so.2 (0x7f001afb3000)

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 
> (0x7fcb73c96000)
> libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 
> (0x7fcb72c3e000)
>  
> 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.


[sage-devel] Re: SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0

2018-02-15 Thread Dima Pasechnik


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 
(0x7fcb73c96000)
libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 
(0x7fcb72c3e000)
 
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.


Re: [sage-devel] Re: SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0

2018-02-15 Thread Samuel Lelièvre
2018-02-15 16:53 GMT-06:00 Harald Helfgott :
>
> >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.

Glad that helped!

By any chance, did you save the crash message it gave before?

> Just out of curiosity: why would it not have worked before?

That is beyond my skills.

> Should I keep my eyes open for other misbehavior?

You should be fine. You might try building again from source
and see if it now builds without error.

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


[sage-devel] Re: SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0

2018-02-15 Thread Harald Helfgott
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?

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


[sage-devel] Re: SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0

2018-02-15 Thread Samuel Lelievre
Hi Harald,

> Subject: SAGE 8.1 will not compile under Ubuntu 17.10: error installing 
giac-1.2.3.47.p0

Note that writing Sage in all-capitals to refer to Sage is discouraged.
See the wiki page "From SAGE to Sage to SageMath" on the SageMath wiki:

[0] From SAGE to Sage to SageMath
https://wiki.sagemath.org/FromSageToSageMath

> I have just updated Ubuntu 17.04 to 17.10 (since version 17.04 reached
> its end-of-life point). Sage was uninstalled in the process. The binary
> I reinstalled from the standard repositories crashed,

Thanks for incidentally reporting that. Details on that crash would
be interesting too. A typical cause is the lack of gfortran, although
this might have been fixed now. There are a few prerequisites for
running a Sage binary install, a few more for building from source,
and a few recommended things that will make more things possible in
Sage once installed.

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

> so the only option I had left was to install the most recent stable
> version of Sage (8.1) from source.

For the sake of arguing with "the only option I had left was [...]",
let me point to the "Distribution" page on the SageMath wiki,

[1] SageMath distribution and packaging
https://wiki.sagemath.org/Distribution

which reveals a number of other options available to you, including:
- using a Docker container, for example the one from "computop"
- using the SageAppliance virtual machine
- using the Conda-packaged Sage

Not to mention that you could also decide to install Sage 8.2.beta5,
which is even better than Sage 8.1, and which I would recommend.

Now regarding how to deal with the build error.

> I get: (end of the log file)
>
> [...]
>
> I am attaching the entire log file for giac. 
>
> What is the issue here? What can be done?

Unfortunately I cannot provide any insight as to what the issue is here.
Fortunately François Bissey and Jeroen Demeyer seem to have spotted the
likely cause of the error you encountered.

That said, I frequently encounter build errors, and I can list a few
things that sometimes help go past a build error (maybe not here!).

Many times, compilation problems are solved by running make enough times.
When `make` ends with an error, just run `make` again, and sometimes the
error does not repeat and the compilation succeeds.

Recently, there was a change in one aspect of the way Sage is compiled:
whereas in the past the build would start with `make build` and the
documentation would only get built once everything else was compiled,
this is no longer the case. One consequence, in the case of a parallel
build, is that parts of the documentation can be built at the same time
as some other components. Since building Sage's documentation is very
demanding in terms of memory, this sometimes induces build errors.

One way to work around that is to first run `make build`, then `make`.
Or, if several cores is available, sometimes setting MAKE='make -j4'
(or -j8, etc) and running `make build`, then setting MAKE='make -j1'
and running `make` so that the documentation is built on a single core.

You did not mention how much memory is available on your computer.

You did not mention whether you were building in parallel (maybe an expert
eye can figure that out from the log file you sent, I can't). Did you set

MAKE='make -j4'

or similar? What do you get if you run

echo $MAKE

in a terminal?

Hoping you can recover usage of Sage, either by using an alternate
installation method, or by completing the build, using the suggestions
by François Bissey, Jeroen Demeyer, Fredrik Johansson, Thierry Monteil.

If you report a bug to Ubuntu, let us know its id in the bug tracker:

[2] Ubuntu bug tracker
https://bugs.launchpad.net/ubuntu

All the best. Samuel

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


[sage-devel] Re: SAGE 8.1 will not compile under Ubuntu 17.10: error installing giac-1.2.3.47.p0

2018-02-15 Thread Fredrik Johansson
On Thursday, February 15, 2018 at 9:43:46 PM UTC+1, Harald Helfgott wrote:
>
> I have just updated Ubuntu 17.04 to 17.10 (since version 17.04 reached its 
> end-of-life point). Sage was uninstalled in the process. The binary I 
> reinstalled from the standard repositories crashed, so the only option I 
> had left was to install the most recent stable version of Sage (8.1) from 
> source.
>
> I get: (end of the log file)
>
> 
> Error installing package giac-1.2.3.47.p0
> 
> Please email sage-devel (http://groups.google.com/group/sage-devel)
> explaining the problem and including the log file
>   /home/ahelfgo/Downloads/sage-8.1/logs/pkgs/giac-1.2.3.47.p0.log
> Describe your computer, operating system, etc.
> If you want to try to fix the problem yourself, *don't* just cd to
> /home/ahelfgo/Downloads/sage-8.1/local/var/tmp/sage/build/giac-1.2.3.47.p0 
> and type 'make' or whatever is appropriate.
> Instead, the following commands setup all environment variables
> correctly and load a subshell for you to debug the error:
>   (cd 
> '/home/ahelfgo/Downloads/sage-8.1/local/var/tmp/sage/build/giac-1.2.3.47.p0' 
> && '/home/ahelfgo/Downloads/sage-8.1/sage' --sh)
> When you are done debugging, you can type "exit" to leave the subshell.
> 
>
> I am attaching the entire log file for giac. 
>
> What is the issue here? What can be done?
>

I had a very similar problem recently; gcc crashed with an MPFR assertion 
while building giac (though in a different part of the code for me). I was 
able to work around it by installing gcc-7 and building sage with CC=gcc-7  
CXX=g++-7.

Fredrik

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