Subject: guile-realine build failure on core-updates
From: Jack Hill <[email-masked]>
To: [email-masked]
Date: Mon, 17 May 2021 17:47:33 -0400 (EDT)
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Guix,

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?

Best,
Jack