bug#65200: closed (Update gmp to 6.3.0)

[GNU bug Tracking System]

Your message dated Mon, 2 Sep 2024 12:13:59 +0200
with message-id <ZtWP55krMHp78zSo@jurong>
and subject line Close
has caused the debbugs.gnu.org bug report #65200,
regarding Update gmp to 6.3.0
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
65200: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=65200
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: Update gmp to 6.3.0 Date: Thu, 10 Aug 2023 12:22:44 +0200

The attached patch updates gmp to the latest release 6.3.0.

I have tested it on x86_64 and the x86_64-w64-mingw32 cross-compilation
target, since I have taken out a work-around for this target.

There are close to 20000 dependent packages, but as far as I can see
bootstrapping is not concerned, which starts from gmp-6.0.

It would be interesting to try whether we can bootstrap directly from
6.3.0 now, that is, whether the comment
  ;; We keep this one around to bootstrap GCC, to work around a compilation
  ;; issue on ARM.  See
  ;; <https://gmplib.org/list-archives/gmp-bugs/2015-December/003848.html>.
is still valid; it might let us drop the two gmp patches altogether.

Andreas

0001-gnu-gmp-Update-to-6.3.0.patch
Description: Text document

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Close
>
>
>
>
> Date: 
>
> Mon, 2 Sep 2024 12:13:59 +0200
>
>
>
>
> Similar updates have been done by other persons on the previous
> core-updates branch; closing this bug.
>
> I still think we could enable parallel tests, but it may not be worth
> testing this given the high amounts of rebuilds. Maybe next time the
> package is updated.
>
> The bootstrapping question is also still open; maybe we can drop the
> previous gmp version and its patches.
>
> Andreas
>
>
>
> --- End Message ---