fixup gmp-boot1

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

View file

@ -2545,9 +2545,8 @@ exec " gcc "/bin/" program
#~(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")