Bug#321969: linux-kernel-headers: Please install the 32-bit 'ppc' kernel headers on the ppc64 architecture

[Andreas Jochens <aj@andaco.de>]

Hello,

thanks for your quick reply to my report!

On 05-Aug-08 16:54, Christoph Hellwig wrote:
> On Mon, Aug 08, 2005 at 04:12:28PM +0200, Andreas Jochens wrote:
> > Package: linux-kernel-headers
> > Version: 2.6.13+0rc3-1.1
> > Severity: wishlist
> > Tags: patch
> > 
> > Please install the 32-bit 'ppc' kernel headers on the ppc64 architecture.
> 
> There's no ppc64 architecture in debian (yet).  Besides that you should

There is an alioth project 'debian-ppc64.alioth.org' with an almost 
complete native ppc64 port and a buildd for unstable running.

Note that this project is different from the efforts to add a 64-bit 
kernel and some 64-bit libraries to the 32-bit powerpc userland.

> never use kernel headers from userland.  Use glibc-kerneheaders which in
> already does the proper redirecting of /usr/include/asm/ to 32 or 64 bit
> versions depending on whether you're compiling with -m64 or not.

How does this redirection work?

On ppc64 the 32-bit alternative powerpc library has to be compiled 
with -m32. The /usr/include/linux has the 64-bit ppc64 kernel header 
files installed. Currently, the --with-headers switch is used to point
to the 32-bit ppc kernel headers for the 32-bit compilation. 
Without that switch the build fails. 

What has to be done to avoid the --with-headers switch?

Regards
Andreas Jochens