Errors encountered in upgrading to SAGE 5.7

[Wai Yan Pong]

I have problems with package ppl-0.11.2.p1 in upgrading to SAGE 5.7 this
morning.

I attached both the head and the tail of the log file.

The copy of SAGE is on a machine running Arch Linux.

uname -a
Linux Arch-T 3.7.9-2-ARCH #1 SMP PREEMPT Mon Feb 25 12:04:25 CET 2013
x86_64 GNU/Linux

with gcc version 4.7.2

I have little ideas on what went wrong but noticed the difference on
"Host system:" (in head.log) and the output of uname -a.

Please help and thanks in advance,
Pong

[François Bissey]

Hi,

by the look of it your ppl is trying to use gmp from the system instead of
mpir. More precisely, if I remember correctly, gmp-5.1 which has changes
in the c++ interface. It was all over Gentoo bugzilla last month.

Francois

[Pong]

Hi,

    Thanks for the hint. So what would be a possible remedy for that?

Pong

[François Bissey]

On Wed, 27 Feb 2013 13:14:46 Pong wrote:
> Hi,
>
> Thanks for the hint. So what would be a possible remedy for that?
>

I am sorry, I don't have one from the top of my head. I may have to open a
ticket for it and cc Volker who maintains the ppl spkg because that's not an
easy problem to fix. The compile line is correct as far as I can tell but you
definitely get the gmpxx headers from /usr/include. I suspect we need to
patch the source to have include statements with " " instead of < >.

Using quotes changes the order in which the include files are searched and
that's the only thing I can think of right now.

Francois

[François Bissey]

This is now ticket 14201: http://trac.sagemath.org/sage_trac/ticket/14201

Francois