fixup gmp-boot

Change-Id: I0d38c62e98607fa5cdfa08b3e2c2fad67be927a4
This commit is contained in:
Efraim Flashner 2025-07-29 11:17:04 +03:00
parent 8b8fff4197
commit 8e5a09abec
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -1666,14 +1666,13 @@ ac_cv_c_float_format='IEEE (little-endian)'
#:guile %bootstrap-guile
#:tests? #f
#:implicit-inputs? #f
#:parallel-build? (target-x86?)
#:parallel-build? #f
#:configure-flags
#~(list #$@(if (target-x86?)
#~()
#~("CC=tcc"))
;; These break building on x86_64-linux.
;(string-append "--build=" #$(commencement-build-target))
;(string-append "--host=" #$(commencement-build-target))
(string-append "--build=" #$(commencement-build-target))
(string-append "--host=" #$(commencement-build-target))
"--enable-static"
"--disable-shared"
"--disable-assembly")