Update action.yml

SRI-CSL · Oct 7, 2023 · f394f38 · f394f38
1 parent 71d9ff4
commit f394f38
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/.github/actions/build/action.yml b/.github/actions/build/action.yml
@@ -52,14 +52,15 @@ runs:
       if: runner.os == 'Windows'
       shell: bash
       run: >-
-        pwd = $(pwd) && wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.xz &&
-        tar xf gmp-6.3.0.tar.xz &&
+        pwd = $(pwd) && wget https://ftp.gnu.org/gnu/gmp/gmp-6.2.1.tar.xz &&
+        tar xf gmp-6.2.1.tar.xz &&
         mkdir dynamic_gmp && mkdir static_gmp &&
-        cd gmp-6.3.0 && ./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-shared --disable-static --prefix=$pwd/dynamic_gmp &&
+        pushd . &&
+        cd gmp-6.2.1 && ./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-shared --disable-static --prefix=$pwd/dynamic_gmp &&
         make && make install &&
         make clean && ./configure --host=x86_64-w64-mingw32 --build=i686-pc-cygwin --enable-static --disable-shared --prefix=$pwd/static_gmp &&
         make && make install &&
-        cd $pwd &&
+        popd &&
         autoconf &&
         ${{ inputs.env }} ./configure --host=x86_64-w64-mingw32 ${{ inputs.config-opt }} CPPFLAGS=-I$pwd/dynamic_gmp/include LDFLAGS=-L$pwd/dynamic_gmp/lib --with-static-gmp=$pwd/static_gmp/lib/libgmp.a --with-static-gmp-include-dir=$pwd/static_gmp/include &&
         export LD_LIBRARY_PATH=/usr/local/lib/:${LD_LIBRARY_PATH} &&