From 7942fcf5ef9e5b9b03199015fa4a0b35221686c7 Mon Sep 17 00:00:00 2001
From: Ekaitz Zarraga <ekaitz@elenq.tech>
Date: Mon, 7 Oct 2024 18:57:09 +0300
Subject: [PATCH] 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
---
 gnu/packages/commencement.scm | 36 +++++++++++++++++++++++++++++------
 1 file changed, 30 insertions(+), 6 deletions(-)

diff --git a/gnu/packages/commencement.scm b/gnu/packages/commencement.scm
index 30b733ffed..2c11c4fcdd 100644
--- a/gnu/packages/commencement.scm
+++ b/gnu/packages/commencement.scm
@@ -1635,12 +1635,36 @@ (define gmp-boot
        #: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"
+                         "CFLAGS=-DHAVE_ALLOCA_H"))
+               (string-append "--build=" #$(commencement-build-target))
+               (string-append "--host=" #$(commencement-build-target))
+               "--enable-static"
+               "--disable-shared")))))
 
 (define mpc-boot
   (let ((version "1.0.3"))