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

2018-02-16 Thread Eric Gourgoulhon
Hi, Le jeudi 15 février 2018 23:59:09 UTC+1, Andy Howell a écrit : > > > I had problems under 17.04. I think I was missing the fortran compiler. > After installing that, it built fine. > > This list of prerequisites to build Sage on Ubuntu is at https://wiki.sagemath.org/prerequisitesUbuntu This

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

2018-02-16 Thread Thierry Dumont
I have an Ubuntu 17.10, and 8.2 beta 5 compiles without anay problems. May be I must say that I upraded from one version to another with git pull origin develop just issuing make after the git command. But I don't think this could hide some problem. Yours t.d. -- You received this message

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

2018-02-16 Thread Andy Howell
On 02/16/2018 02:40 AM, Jeroen Demeyer wrote: > On 2018-02-15 23:59, Andy Howell wrote: >> I think you may have something else wrong with your system. I too >> upgraded from 17.04 to 17.10. I built 8.2beta 3 with no problems. I'm >> compiling beta 5 right now. > > It would be interesting to see

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

2018-02-16 Thread Jeroen Demeyer
On 2018-02-15 23:59, Andy Howell wrote: I think you may have something else wrong with your system. I too upgraded from 17.04 to 17.10. I built 8.2beta 3 with no problems. I'm compiling beta 5 right now. It would be interesting to see the output of $ ldd

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

2018-02-16 Thread Jeroen Demeyer
On 2018-02-15 22:37, Harald Helfgott wrote: First, here is the output of /usr/lib/gcc/x86_64-linux-gnu/7.2.0$ ldd cc1 linux-vdso.so.1 => (0x7fff8af56000) libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 (0x7fcb74113000) libmpc.so.3 =>

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

2018-02-15 Thread Andy Howell
Harald, I think you may have something else wrong with your system. I too upgraded from 17.04 to 17.10. I built 8.2beta 3 with no problems. I'm compiling beta 5 right now. I had problems under 17.04. I think I was missing the fortran compiler. After installing that, it built fine. Andy On

Re: [sage-devel] 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
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 wrote: > > > I typed > > export SAGE_INSTALL_GCC='yes' > > and then did "make", and got what looks like exactly the

Re: [sage-devel] 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
Any code using standard complex header from C or C++, possibly fortran is likely to break. I would hope ubuntu realise the mistake. > On 16/02/2018, at 10:59, Harald Helfgott wrote: > > What should I do, then? Do you mean that I will have compile problems when >

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

2018-02-15 Thread Thierry
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

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

2018-02-15 Thread Harald Helfgott
What should I do, then? Do you mean that I will have compile problems when working on my own programs, without sage? Le jeudi 15 février 2018 16:55:25 UTC-5, François Bissey a écrit : > > I’d say the compiler is in a broken state at the system level. Exactly > like > what happens in sage after

Re: [sage-devel] 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
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. > On 16/02/2018, at 10:37, Harald Helfgott wrote: > > First, here is the output of

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

2018-02-15 Thread Harald Helfgott
First, here is the output of /usr/lib/gcc/x86_64-linux-gnu/7.2.0$ ldd cc1 linux-vdso.so.1 => (0x7fff8af56000) libisl.so.15 => /usr/lib/x86_64-linux-gnu/libisl.so.15 (0x7fcb74113000) libmpc.so.3 => /usr/lib/x86_64-linux-gnu/libmpc.so.3 (0x7fcb73efb000) libmpfr.so.4

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

2018-02-15 Thread Jeroen Demeyer
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

Re: [sage-devel] 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
> On 16/02/2018, at 09:34, 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

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

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