Hi, Jack Hill <jackh...@jackhill.us> skribis:
> guile-readline fails to build on core updates > (20c122a4b0798a87c44edbc37229f9c38e44386c) with the following error in > the configure check: > > checking for libgmp... no > configure: error: GNU MP 4.1 or greater not found; either install it, or pass > '--enable-mini-gmp' to use included less-optimal arbitrary-precision integer > support. > error: in phase 'configure': uncaught exception: > > Full log is attached. > > Could this be related to the minigmp change in Guile 3.0.6 and .7? Yes: these are no longer built against the full GMP. Fixed in 7046a8fff70d2b565641b97015839d86f8e3e73d. Thanks! Ludo’.
