gnu: gmp-boot: Update and build package.

* gnu/packages/commencement.scm (gmp-boot): Update to 5.1.3.  Replace
with a full package.

Co-authored-by: Efraim Flashner <efraim@flashner.co.il>
Change-Id: I6dcabd1f2b311063829fb680007b2ac1ba82be34

gnu/packages/commencement.scm

@@ -1599,12 +1599,40 @@ ac_cv_c_float_format='IEEE (little-endian)'
                (string-append "--host=" #$(commencement-build-target)))))))
 
 (define gmp-boot
-  (let ((version "4.3.2"))
+  (package
-    (origin
+    (inherit gmp)
-      (method url-fetch)
+    (outputs '("out"))
-      (uri (string-append "mirror://gnu/gmp/gmp-" version ".tar.gz"))
+    (name "gmp-boot")
-      (sha256
+    (version "5.1.3")
-       (base32 "15rwq54fi3s11izas6g985y9jklm3xprfsmym3v1g6xr84bavqvv")))))
+    (source (origin
+              (method url-fetch)
+              (uri (string-append "mirror://gnu/gmp/gmp-" version ".tar.gz"))
+              (sha256
+               (base32 "09w5yzlvdll19fa9zhh0f4y97hv8483cbly0003zvbvyighpzwvi"))))
+    (native-inputs (if (target-x86?)
+                       (%boot-mesboot1-inputs)
+                       (%boot-tcc-musl-inputs)))
+    (inputs (list m4-boot))
+    (propagated-inputs '())
+    (arguments
+     (list
+       #:guile %bootstrap-guile
+       #:tests? #f
+       #:implicit-inputs? #f
+       #:parallel-build? (target-x86?)
+       #:configure-flags
+       #~(list #$@(if (target-x86?)
+                      #~()
+                      #~("CC=tcc"
+                         "CFLAGS=-DHAVE_ALLOCA_H"))
+               ;; These break building on x86_64-linux.
+               ;(string-append "--build=" #$(commencement-build-target))
+               ;(string-append "--host=" #$(commencement-build-target))
+               "--enable-static"
+               "--disable-shared"
+               "--disable-assembly")
+       ;; Gash crashes on mkdir called through install creating %output/share/info
+       #:make-flags #~(list "MKDIRPROG=mkdir -p")))))
 
 (define mpfr-boot
   (let ((version "2.4.2"))