On Tue, 30 Jan 2024 20:25:11 +0100, Camm Maguire wrote: > > Greetings! One other thing I would like to do is eliminate the old > convenience copy of gmp for use in cases where the external library is > not present. If memory serves this was mostly used on macosx. Is this > directory (gmp4) now obsolete? >
I think so. I use gmp from MacPorts, and frankly speaking, building GMP on macOS can be not so easy. -- wbr, Kirill
