gmp -> 6.3.0

lip6 · Sep 25, 2023 · c5b82b3 · c5b82b3
1 parent ae731a8
commit c5b82b3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
@@ -15,7 +15,7 @@ jobs:
     steps:
     - uses: actions/checkout@v3
     - name: libGMP
-      run: wget --progress=dot:mega https://gmplib.org/download/gmp/gmp-6.2.1.tar.bz2 ; tar xjf gmp-6.2.1.tar.bz2 ; cd gmp-6.2.1 ; ./configure --enable-cxx --enable-fat --prefix=$(pwd)/../usr/local  --build=westmere-pc-linux-gnu ; make -j ; make install ; cd .. ;    
+      run: wget --progress=dot:mega https://gmplib.org/download/gmp/gmp-6.3.0.tar.bz2 ; tar xjf gmp-6.3.0.tar.bz2 ; cd gmp-6.3.0 ; ./configure --enable-cxx --enable-fat --prefix=$(pwd)/../usr/local  --build=westmere-pc-linux-gnu ; make -j ; make install ; cd .. ;    
     - name: libExpat
       run: wget --progress=dot:mega https://github.com/libexpat/libexpat/archive/R_2_2_4.tar.gz ; tar xzf R_2_2_4.tar.gz ; cd libexpat-R_2_2_4/expat/ ; ./buildconf.sh ; ./configure --prefix=$(pwd)/../../usr/local --without-xmlwf ; make -j ; make install ; cd ../.. ;     
     - name: ANTLR

diff --git a/.github/workflows/osx.yml b/.github/workflows/osx.yml
@@ -19,7 +19,7 @@ jobs:
     - name: Check Version
       run: bison -y --version ; flex --version ; /usr/local/opt/bison/bin/bison --version ;/usr/local/opt/flex/bin/flex --version
     - name: libGMP
-      run: wget --progress=dot:mega https://gmplib.org/download/gmp/gmp-6.1.2.tar.bz2 ; tar xjf gmp-6.1.2.tar.bz2 ; cd gmp-6.1.2 ; ./configure CXX='g++-11' CC='gcc-11' AR='gcc-ar-11' NM='gcc-nm-11' RANLIB='gcc-ranlib-11' --enable-cxx --enable-fat --prefix=$(pwd)/../usr/local ; make -j ; make install ; cd .. ;    
+      run: wget --progress=dot:mega https://gmplib.org/download/gmp/gmp-6.3.0.tar.bz2 ; tar xjf gmp-6.3.0.tar.bz2 ; cd gmp-6.3.0 ; ./configure CXX='g++-11' CC='gcc-11' AR='gcc-ar-11' NM='gcc-nm-11' RANLIB='gcc-ranlib-11' --enable-cxx --enable-fat --prefix=$(pwd)/../usr/local ; make -j ; make install ; cd .. ;    
     - name: libExpat
       run: wget --progress=dot:mega https://github.com/libexpat/libexpat/archive/R_2_2_4.tar.gz ; tar xzf R_2_2_4.tar.gz ; cd libexpat-R_2_2_4/expat/ ; ./buildconf.sh ; ./configure CXX='g++-11' CC='gcc-11' AR='gcc-ar-11' NM='gcc-nm-11' RANLIB='gcc-ranlib-11' --prefix=$(pwd)/../../usr/local --without-xmlwf ; make -j ; make install ; cd ../.. ;     
     - name: ANTLR