Subject: Re: bug#48488: guile-realine build failure on core-updates
From: Ludovic Courtès <[email-masked]>
To: Jack Hill <[email-masked]>
Cc: [email-masked]
Date: Tue, 18 May 2021 00:28:47 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi,

Jack Hill <[email-masked]> 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’.