gnu: guile-readline: Allow builds without GMP.

Fixes <https://bugs.gnu.org/48488>.
Reported by Jack Hill <jackhill@jackhill.us>.

* gnu/packages/guile.scm (make-guile-readline)[arguments]: Pass
'--enable-mini-gmp'.
This commit is contained in:
Ludovic Courtès 2021-05-18 00:25:36 +02:00
parent 20c122a4b0
commit 7046a8fff7
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -394,7 +394,8 @@ (define* (make-guile-readline guile #:optional (name "guile-readline"))
(source (package-source guile))
(build-system gnu-build-system)
(arguments
'(#:configure-flags '("--disable-silent-rules")
'(#:configure-flags '("--disable-silent-rules"
"--enable-mini-gmp") ;for Guile >= 3.0.6
#:phases (modify-phases %standard-phases
(add-before 'build 'chdir
(lambda* (#:key outputs #:allow-other-keys)