From 00418e7368cb795ed91522dfa27b2ddb80087185 Mon Sep 17 00:00:00 2001
From: Copilot <198982749+Copilot@users.noreply.github.com>
Date: Sat, 28 Mar 2026 15:36:44 -0700
Subject: [PATCH] fix riscv64 nightly: install MPFR 4.x before using Ubuntu
 20.04 RISC-V toolchain (#9157)

Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/41c35acf-fab8-4cd1-8bff-7cceb9ba43f5

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 .github/workflows/nightly.yml | 8 ++++++++
 .github/workflows/release.yml | 8 ++++++++
 2 files changed, 16 insertions(+)

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 6c911b5b7..0914d8a32 100644
--- a/.github/workflows/nightly.yml
+++ b/.github/workflows/nightly.yml
@@ -380,6 +380,14 @@ jobs:
         run: |
           mkdir -p /tmp/riscv-toolchain/
           tar xf /tmp/riscv-toolchain.tar.gz -C /tmp/riscv-toolchain/ --strip-components=1
+
+      - name: Install MPFR 4 (required by RISC-V toolchain host binaries)
+        run: |
+          dnf install -y gmp-devel
+          curl -L -o /tmp/mpfr.tar.xz https://ftp.gnu.org/gnu/mpfr/mpfr-4.2.1.tar.xz
+          tar xf /tmp/mpfr.tar.xz -C /tmp/
+          cd /tmp/mpfr-4.2.1 && ./configure --prefix=/usr/local --disable-static && make -j$(nproc) && make install
+          ldconfig
       
       - name: Setup Python environment
         run: |
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 3a6fbf743..fde423c25 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -390,6 +390,14 @@ jobs:
         run: |
           mkdir -p /tmp/riscv-toolchain/
           tar xf /tmp/riscv-toolchain.tar.gz -C /tmp/riscv-toolchain/ --strip-components=1
+
+      - name: Install MPFR 4 (required by RISC-V toolchain host binaries)
+        run: |
+          dnf install -y gmp-devel
+          curl -L -o /tmp/mpfr.tar.xz https://ftp.gnu.org/gnu/mpfr/mpfr-4.2.1.tar.xz
+          tar xf /tmp/mpfr.tar.xz -C /tmp/
+          cd /tmp/mpfr-4.2.1 && ./configure --prefix=/usr/local --disable-static && make -j$(nproc) && make install
+          ldconfig
       
       - name: Setup Python environment
         run: |