bug#48488: guile-realine build failure on core-updates

2021-05-17 Thread Jack Hill
On Tue, 18 May 2021, Ludovic Courtès wrote: Yes: these are no longer built against the full GMP. Fixed in 7046a8fff70d2b565641b97015839d86f8e3e73d. Thanks! Awesome, thanks for the quick fix!

bug#48488: guile-realine build failure on core-updates

2021-05-17 Thread Ludovic Courtès
Hi, Jack Hill 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-g