Re: lib/58648: private shared libraries should go in /usr/lib/private, not /usr/lib

[gnats-admin%netbsd.org@localhost]

The following reply was made to PR lib/58648; it has been noted by GNATS.

From: Christos Zoulas <christos%zoulas.com@localhost>
To: matthew green <mrg%eterna23.net@localhost>
Cc: lib-bug-people%netbsd.org@localhost,
 gnats-admin%netbsd.org@localhost,
 netbsd-bugs%netbsd.org@localhost,
 campbell+netbsd%mumble.net@localhost,
 gnats-bugs%netbsd.org@localhost
Subject: Re: lib/58648: private shared libraries should go in
 /usr/lib/private, not /usr/lib
Date: Tue, 27 Aug 2024 15:01:33 -0400

 > On Aug 27, 2024, at 2:58=E2=80=AFPM, matthew green <mrg%eterna23.net@localhost> =
 wrote:
 >=20
 >> I was even thinking /usr/private/lib /usr/private/include etc.
 >=20
 > don't want to *install* headers.  they're not for development,
 > not even with comp set installed.
 >=20
 > those will remain private in the build itself, we only want this
 > to have a shared copy of relatively large libraries like gmp and
 > pals..
 >=20
 
 But you need the headers for autoconf to find stuff and for other
 internal users of the libraries. This is how we ended up with the
 gdb gmp/mpfr/mpc mess copying headers (because some are
 in the same dir as config.h and we can't just -I/path/to/gmpdoth).
 
 christos=