gnu: mpfr-boot: Update and build package.

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

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

1 files changed, 29 insertions, 6 deletions

diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm
index 193d2e8ec17..58e5bfda255 100644
--- a/gnu/packages/commencement.scm
+++ b/gnu/packages/commencement.scm
@@ -1658,12 +1658,35 @@ ac_cv_c_float_format='IEEE (little-endian)'
        #:make-flags #~(list "MKDIRPROG=mkdir -p")))))
 
 (define mpfr-boot
-  (let ((version "2.4.2"))
-    (origin
-      (method url-fetch)
-      (uri (string-append "mirror://gnu/mpfr/mpfr-" version ".tar.gz"))
-      (sha256
-       (base32 "0dxn4904dra50xa22hi047lj8kkpr41d6vb9sd4grca880c7wv94")))))
+  (package
+    (inherit mpfr)
+    (outputs '("out"))
+    (name "mpfr-boot")
+    (version "4.1.0")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append "mirror://gnu/mpfr/mpfr-" version ".tar.gz"))
+              (sha256
+               (base32 "1mm2zxjqxxqlacd87cxlyi63pwrxwafqks7lmpqa3wqq6a0zw9ri"))))
+    (native-inputs (if (target-x86?)
+                       (%boot-mesboot1-inputs)
+                       (%boot-tcc-musl-inputs)))
+    (inputs '())
+    (propagated-inputs (list gmp-boot))
+    (arguments
+     (list
+       #:guile %bootstrap-guile
+       #:tests? #f
+       #:implicit-inputs? #f
+       #:parallel-build? (target-x86?)
+       #:configure-flags
+       #~(list #$@(if (target-x86?)
+                      #~()
+                      #~("CC=tcc"))
+               (string-append "--build=" #$(commencement-build-target))
+               (string-append "--host=" #$(commencement-build-target))
+               "--enable-static"
+               "--disable-shared")))))
 
 (define mpc-boot
   (let ((version "1.0.3"))