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

[Christos Zoulas <christos%zoulas.com@localhost>]

> On Aug 27, 2024, at 2:58 PM, matthew green <mrg%eterna23.net@localhost> wrote:
> 
>> I was even thinking /usr/private/lib /usr/private/include etc.
> 
> don't want to *install* headers.  they're not for development,
> not even with comp set installed.
> 
> 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..
> 

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