compile gmp

SRI-CSL · Oct 6, 2023 · d9147fd · d9147fd
1 parent b5689dc
commit d9147fd
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 4 deletions.
diff --git a/.github/actions/build/action.yml b/.github/actions/build/action.yml
@@ -52,7 +52,15 @@ runs:
       if: runner.os == 'Windows'
       shell: bash
       run: >-
+        pwd = $(pwd) && wget https://ftp.gnu.org/gnu/gmp/gmp-6.3.0.tar.lz &&
+        tar xf gmp-6.3.0.tar.lz &&
+        mkdir dynamic_gmp && mkdir static_gmp &&
+        cd gmp-6.3.0 && ./configure --enable-shared --disable-static --prefix=$pwd/dynamic_gmp &&
+        make && make install &&
+        make clean && ./configure --enable-static --disable-shared --prefix=$pwd/static_gmp &&
+        make && make install &&
+        cd $pwd &&
         autoconf &&
-        ${{ inputs.env }} ./configure ${{ inputs.config-opt }} &&
+        ${{ inputs.env }} ./configure ${{ 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} &&
         make MODE=${{ inputs.mode }}
diff --git a/.github/actions/install-dependencies/action.yml b/.github/actions/install-dependencies/action.yml
@@ -24,7 +24,6 @@ runs:
         packages: |
           autoconf,
           coreutils,
-          gmp,
           gperf,
-          python3,
-          python3-pip
+          wget
+