Re: do people think current builds now? -- I don't

[Martin Husemann <martin%duskware.de@localhost>]

On Thu, Oct 23, 2025 at 12:21:45PM -0400, Greg Troxel wrote:
> In your build, is lgpl3/gmp/lib/libgmp built?   It seems the header
> isn't installed on purpose.

It is, but not recently - my object files there are from october 10.

> Do you have a gmp.h in your destdir include?

No.

> I don't see how this can succeed, because gmp.h is not installed, and
> there is no -I to the not-installed copy.  But I see a gmp.h symlink
> which resolves to plausible content, and -I.

I have:

[~builds/current/obj/external/gpl3/gcc] martin@martins > ll ./usr.bin/include/gmp.h
lrwxr-xr-x  1 builds  builds  72 Oct 10 21:31 ./usr.bin/include/gmp.h@ -> /home/martin/current/src/external/lgpl3/gmp/lib/libgmp/arch/x86_64/gmp.h

Martin