Re: [sage-devel] problems compiling sage-5.2.rc0 en debian wheezy+some sid amd64

2012-07-21 Thread Jeroen Demeyer
On 2012-07-20 18:55, Kjetil brinchmann Halvorsen wrote: > How can I do that? To download an spkg within sage, I ahve to do something > like > ./sage -i > first, so I need a working sage! That's not quite true. The command ./sage -i /path/to/package.spkg should always work, it doesn't require any

Re: [sage-devel] problems compiling sage-5.2.rc0 en debian wheezy+some sid amd64

2012-07-20 Thread Kjetil brinchmann Halvorsen
see inline! On Thu, Jul 19, 2012 at 3:02 PM, Jeroen Demeyer wrote: > This is most likely a bug in GCC. > Could you try to install the package > http://boxen.math.washington.edu/home/jdemeyer/spkg/gcc-4.7.1.spkg > and compile again? > > This is to check whether using vanilla gcc-4.7.1 (as opposed

Re: [sage-devel] problems compiling sage-5.2.rc0 en debian wheezy+some sid amd64

2012-07-20 Thread Paulo César Pereira de Andrade
2012/7/19 Jeroen Demeyer : > This is most likely a bug in GCC. > Could you try to install the package > http://boxen.math.washington.edu/home/jdemeyer/spkg/gcc-4.7.1.spkg > and compile again? > > This is to check whether using vanilla gcc-4.7.1 (as opposed to > Debian's) works. A possible patch

Re: [sage-devel] problems compiling sage-5.2.rc0 en debian wheezy+some sid amd64

2012-07-19 Thread Jeroen Demeyer
This is most likely a bug in GCC. Could you try to install the package http://boxen.math.washington.edu/home/jdemeyer/spkg/gcc-4.7.1.spkg and compile again? This is to check whether using vanilla gcc-4.7.1 (as opposed to Debian's) works. -- -- To post to this group, send an email to sage-devel@

[sage-devel] problems compiling sage-5.2.rc0 en debian wheezy+some sid amd64

2012-07-19 Thread Kjetil brinchmann Halvorsen
Hello! I definedexport SAGE_CHECK="yes" and then typed make. result: . . . real104m51.462s user132m19.104s sys 5m54.034s Error building Sage. Problem wher PARI. following is that logfile: --