From 0d60fba4b831548049858f798471846a17b282f2 Mon Sep 17 00:00:00 2001
From: Christian Mauderer <christian.mauderer@embedded-brains.de>
Date: Fri, 7 Jun 2024 11:29:33 +0200
Subject: [PATCH] CI: Work arround issue with rate limited server for gmp

---
 .github/workflows/ci.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 8d3a56f..dd7dc31 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -48,6 +48,13 @@ jobs:
       - name: Build toolchain
         shell: bash
         run: |
+          # Hack: Downloading gmp often fails on github. Seems that the server
+          # is rate limited or something like that. So pre-fetch the file from a
+          # mirror.
+          make submodule-update
+          mkdir external/rtems-source-builder/rtems/sources
+          wget -o external/rtems-source-builder/rtems/sources/gmp-6.3.0.tar.bz2 https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.bz2
+          # Hack end
           make install
           if [ "$RUNNER_OS" == "Linux" ]; then
             make barebox