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

Groups > linux.debian.bugs.dist > #827095

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 Thu, 2017-06-01 at 17:14 -0400, Zack Weinberg wrote:
> Package: linux-libc-dev
> Version: 4.11-1~exp2
> Severity: wishlist
> 
> Certain low-level programs and libraries, notably glibc, would like to
> be able to make sure that they do *not* use any system headers during
> their build, other than the kernel's headers and the ones provided by
> the compiler (stddef.h, stdarg.h etc)  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.

Ben.

-- 
Ben Hutchings
Experience is directly proportional to the value of equipment
destroyed.
                                                    - Carolyn Scheppner

Back to linux.debian.bugs.dist | 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
  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

csiph-web