RE: checker libs with debugging symbols
What have libc*-dev, gdb, gcc etc. in common with debugging symbols in
When I debug my program it suffices to me to know the problem came in
the call to gets() for instance. I'm not interested in seeing more
details, simply because I expect the library to be okay. Usually I
expect a bug in my software before I consider a buggy libc.
But if the common feeling is to not do that I can still strip the
libararies myself, you're right. But it'll have to be strip
Anyway, with your arguments you could as well ask for libc-dbg to be
fold into libc-dev again as it was earlier on.
Dr. Michael Meskes, Projekt-Manager | topsystem Systemhaus GmbH
email@example.com | Europark A2, Adenauerstr. 20
firstname.lastname@example.org | 52146 Wuerselen
Go SF49ers! Go Rhein Fire! | Tel: (+49) 2405/4670-44
Use Debian GNU/Linux! | Fax: (+49) 2405/4670-10
>From: email@example.com [SMTP:firstname.lastname@example.org]
>Sent: Friday, June 20, 1997 1:17 PM
>Cc: Die Adresse des Empfängers ist unbekannt.
>Subject: Re: checker libs with debugging symbols
>But hey, everybody who installes checker has at least a full installation
>of gcc, of libc*-dev, gdb, and probably a lot more development tools.
>Now, reading the above, certainly *I* want to have the symbols in
>those libs, and I am quite sure most people do.
>How many people would have enough space on their development system
>to install the development tools, but want to econimise badly on
>their checker libs?
>Creating extra checker packages will
> - give everybody who installs debian more work, as they
> now have to decide what version of checker to install
> (quite a hard choice for a newbie, I'd say).
> - give the developper extra work
> - give the mirrors more work, make debian even larger
>(If you want to do this, why not simply say "strip /usr/lib/*"?
>joost witteveen, email@example.com
>#what's this? see http://www.dcs.ex.ac.uk/~aba/rsa/
>TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
>Trouble? e-mail to firstname.lastname@example.org .
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
Trouble? e-mail to email@example.com .