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

From	Zack Weinberg <zackw@panix.com>
Newsgroups	linux.debian.bugs.dist, linux.debian.kernel
Subject	Bug#863914: linux-libc-dev: Install separate from /usr/include
Date	2017-06-01 23:20 +0200
Message-ID	<tNFFE-84v-25@gated-at.bofh.it> (permalink)
Organization	linux.* mail to news gateway

Cross-posted to 2 groups.

Show all headers | View raw

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.)


-- System Information:
Debian Release: 9.0
  APT prefers unstable
  APT policy: (501, 'unstable'), (500, 'unstable-debug'), (500, 'testing-debug'), (500, 'testing'), (101, 'experimental'), (1, 'experimental-debug')
Architecture: amd64 (x86_64)
Foreign Architectures: i386

Kernel: Linux 4.9.0-3-amd64 (SMP w/8 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8), LANGUAGE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

-- no debconf information

Back to linux.debian.kernel | Previous | Next — 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