Thanks! The missing library was libc6-dev-amd64. I installed it and this 
fixed the stubs-64.h error. Now the compilation breaks with the  error:

/usr/bin/ld: cannot find -lmpc

A more detailed log:

/usr/bin/ld: skipping incompatible /tmp/sage-5.3/local/lib/libmpc.a when 
searching for -lmpc
/usr/bin/ld: cannot find -lmpc
collect2: ld returned 1 exit status
make[5]: *** [cc1] Error 1
make[5]: Leaving directory 
`/tmp/sage-5.3/spkg/build/gcc-4.6.3/gcc-build/gcc'
make[4]: *** [all-stage2-gcc] Error 2
make[4]: Leaving directory `/tmp/sage-5.3/spkg/build/gcc-4.6.3/gcc-build'
make[3]: *** [stage2-bubble] Error 2
make[3]: Leaving directory `/tmp/sage-5.3/spkg/build/gcc-4.6.3/gcc-build'
make[2]: *** [all] Error 2
make[2]: Leaving directory `/tmp/sage-5.3/spkg/build/gcc-4.6.3/gcc-build'

real    20m42.735s
user    20m1.815s
sys     0m29.186s
************************************************************************
Error installing package gcc-4.6.3
************************************************************************

...

make[1]: *** [installed/gcc-4.6.3] Error 1
make[1]: Leaving directory `/tmp/sage-5.3/spkg'

I can see that I have the library libmpc installed:

$ dpkg -l |grep mpc
ii  libmpc-dev                           0.8.2-1+b1                         
multiple precision complex floating-point library development package
ii  libmpc2                              0.8.2-1+b1                         
multiple precision complex floating-point library

Any ideas? 

Thanks!

V.





On Thursday, November 1, 2012 12:38:19 PM UTC+1, Dima Pasechnik wrote:
>
> On 2012-11-01, V <vesselin....@gmail.com <javascript:>> wrote: 
> > ------=_Part_80_29635451.1351758463692 
> > Content-Type: text/plain; charset=ISO-8859-1 
> > 
> > Maybe this is not the problem, because as far as I can see libc6-dev is 
> > installed: 
> > 
> > $ dpkg -l |grep libc6-dev 
> > ii  libc6-dev                            2.11.3-4                       
>     
> > Embedded GNU C Library: Development Libraries and Header Files 
> > $ 
> > 
> > Any other suggestions? 
> well, I just looked at this error: 
>
> /usr/include/gnu/stubs.h:9:27: fatal error: gnu/stubs-64.h: No such file 
> or directory 
>
> and (presuming your hardware is "amd64", the file stubs-64.h should be 
> in libc6-dev 
>
>
> http://packages.debian.org/search?searchon=contents&keywords=stubs-64.h&mode=exactfilename&suite=stable&arch=any
>  
>
> maybe you don't have it? 
> Then look at the above like and try to figure out which dpkg needs to be 
> installed... 
>
> HTH, 
> Dmitrii 
> I
>

-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To post to this group, send email to sage-support@googlegroups.com.
To unsubscribe from this group, send email to 
sage-support+unsubscr...@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support?hl=en.


Reply via email to