guile-realine build failure on core-updates

  • Done
  • quality assurance status badge
Details
2 participants
  • Jack Hill
  • Ludovic Courtès
Owner
unassigned
Submitted by
Jack Hill
Severity
normal
J
J
Jack Hill wrote on 17 May 2021 23:47
(address . bug-guix@gnu.org)
alpine.DEB.2.21.2105171742150.2109@marsh.hcoop.net
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
L
L
Ludovic Courtès wrote on 18 May 2021 00:28
(name . Jack Hill)(address . jackhill@jackhill.us)(address . 48488-done@debbugs.gnu.org)
87h7j1c7vk.fsf@gnu.org
Hi,

Jack Hill <jackhill@jackhill.us> skribis:

Toggle quote (12 lines)
> 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’.
Closed
J
J
Jack Hill wrote on 18 May 2021 04:43
(name . Ludovic Courtès)(address . ludo@gnu.org)(address . 48488-done@debbugs.gnu.org)
alpine.DEB.2.21.2105172243060.2109@marsh.hcoop.net
On Tue, 18 May 2021, Ludovic Courtès wrote:

Toggle quote (6 lines)
> Yes: these are no longer built against the full GMP.
>
> Fixed in 7046a8fff70d2b565641b97015839d86f8e3e73d.
>
> Thanks!

Awesome, thanks for the quick fix!
Closed
?