Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.kernel > #57922

Bug#863914: linux-libc-dev: Install separate from /usr/include

Cross-posted to 2 groups.

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

Control: tag -1 - moreinfo

On Sun, 2017-06-04 at 09:14 -0400, Zack Weinberg wrote:
> > On Sat, Jun 3, 2017 at 5:05 PM, Ben Hutchings <ben@decadent.org.uk> wrote:
> > > It would be much easier to arrange
> > > this if the kernel's headers were installed in a location separate from
> > > /usr/include and then symlinked into /usr/include.  (It would be fine to
> > > symlink just the directories.)
> > 
> > I don't understand how this would help.
> 
> Suppose there exists a directory (let's call it
> /usr/src/linux/include, just for concreteness) that contains all the
> kernel headers and no other headers. Then my Makefiles can pass
> -nostdinc -isystem $(gcc -print-file-name=include) -isystem
> /usr/src/linux/include in CFLAGS to see only the kernel's headers and
> the compiler's headers. Without such a directory, the only way to get
> the same effect that I can think of is to manually create that
> directory somehow. It'd be much easier to do this in linux-libc-dev,
> which already knows what all the files are.

OK, I get it.

Ben.

-- 
Ben Hutchings
It is easier to write an incorrect program than to understand a correct
one.

Back to linux.debian.kernel | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Bug#863914: linux-libc-dev: Install separate from /usr/include Zack Weinberg <zackw@panix.com> - 2017-06-01 23:20 +0200
  Processed: Re: Bug#863914: linux-libc-dev: Install separate from  /usr/include owner@bugs.debian.org (Debian Bug Tracking System) - 2017-06-03 23:10 +0200
  Bug#863914: linux-libc-dev: Install separate from /usr/include Ben Hutchings <ben@decadent.org.uk> - 2017-06-03 23:10 +0200
    Bug#863914: linux-libc-dev: Install separate from /usr/include Zack Weinberg <zackw@panix.com> - 2017-06-04 15:20 +0200
      Bug#863914: linux-libc-dev: Install separate from /usr/include Ben Hutchings <ben@decadent.org.uk> - 2017-06-05 02:40 +0200
  Processed: Re: Bug#863914: linux-libc-dev: Install separate from  /usr/include owner@bugs.debian.org (Debian Bug Tracking System) - 2017-06-05 02:40 +0200

csiph-web