On Sat, Feb 22, 2025 at 12:40 PM David Scherfgen <d.scherf...@googlemail.com> wrote: > > Maybe a good compromise would be to: > - not bundle GMP with GCL > - use the system's libgmp by default > - but allow the user to specify a specific GMP library when configuring, e.g. > --with-gmp=/path/to/custom/gmp
Makes sense to me -- I'm in favor. best, Robert
