Hi,
Thanks for the hint. So what would be a possible remedy for that?
Pong
On Wednesday, February 27, 2013 12:27:06 PM UTC-8, François wrote:
>
> On Wed, 27 Feb 2013 11:22:49 Wai Yan Pong wrote:
> > 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.
> >
>
> 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
>
--
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 http://groups.google.com/group/sage-devel?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
