Re: Debian Specialities (fwd)
On Thu, 2 Jan 1997, Christoph Lameter wrote:
> Dosemu autodetects the kernel version and tries to locate the kernel
> sources through the symlinks in /usr/include. All sorts of strange things
> happened until I overrode the kernel source detection.
> A number of other kernel related packages rest their compilation on the
> presence of those symlinks. I am the maintainer of most of those kernel
> related packages.
Since the kernel, itself, no longer requires those symlinks, and can be
placed anywhere in the file system, it seems ill advised to expect to find
these things in an archaic location.
I keep my kernel source in /usr/local/src/kernel-source/2.0.27 to protect
it from package manglement.
> srivasta > A more detailed defence of out practice follows.
> I know the text but I think this is again an issue where Debian tries
> to outsmart the rest of the Linux World and hurts itself in the process.
This is pure misunderstanding on your part.
> I and many other developers in the Linux world are used to cope with
> recent kernel versions and the tricks they might play with
> /usr/include/xxx. There is the custom to take advantage of those links and
> to assume that they accurately point to the most recent kernel version and
> not to some past "stable" version.
If the product needs to know where kernel sources are, make it a
configuration option, so the site can keep the freedom of locating their
kernel sources wherever they see fit.
> That does not work under Debian and thus we have a host of problems with
> users trying to do kernel dependant things under Debian that wont work.
The better fix all the way around would be to remove the design
difficulties that make them kernel dependent.
aka Dale Scheetz Phone: 1 (904) 656-9769
Flexible Software 11000 McCrackin Road
e-mail: email@example.com Tallahassee, FL 32308
------------ If you don't see what you want, just ask --------------
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-devel-REQUEST@lists.debian.org . Trouble? e-mail to Bruce@Pixar.com