fix: gmplib is brocking github ci

kawaemon · kawaemon · commit c40bea7af357 · 2024-09-25T05:10:27.000+09:00
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rusty-ponyo"
-version = "2024.9.25-1"
+version = "2024.9.25-2"
 authors = ["kawaemon <34652535+kawaemon@users.noreply.github.com>"]
 edition = "2021"
 
diff --git a/Dockerfile b/Dockerfile
@@ -15,6 +15,7 @@ run cd \
  && git clone https://gitlab.archlinux.org/archlinux/packaging/packages/gmp.git \
  && cd gmp \
  && echo 'options=(!strip staticlibs)' >> PKGBUILD \
+ && sed -i 's|https://gmplib.org/download/gmp/gmp|https://ftp.gnu.org/gnu/gmp/gmp|' PKGBUILD \
  && MAKEFLAGS="-j$(nproc)" makepkg --skippgpcheck --nocheck --noconfirm
 user root
 run mv /home/kawak/gmp/gmp-*.pkg.* /gmp
