Build and test gmp

Author: Blackhex

.github/scripts/config.sh

@@ -59,12 +59,18 @@ BUILD_PATH=${BUILD_PATH:-$ROOT_PATH/build-$TOOLCHAIN_NAME}
 CCACHE_DIR_PATH=${CCACHE_DIR_PATH:-$ROOT_PATH/ccache}
 ARTIFACT_PATH=${ARTIFACT_PATH:-$ROOT_PATH/artifact}
 BUILD_MAKE_OPTIONS=${BUILD_MAKE_OPTIONS:-V=1 -j$(nproc)}
+CHECK_MAKE_OPTIONS=${CHECK_MAKE_OPTIONS:-V=1 -j$(nproc)}
 TOOLCHAIN_PATH=${TOOLCHAIN_PATH:-~/cross-$TOOLCHAIN_NAME}
 TOOLCHAIN_FILE=${TOOLCHAIN_FILE:-$ROOT_PATH/.github/cmake/$TARGET.cmake}
 TOOLCHAIN_PACKAGE_NAME=${TOOLCHAIN_PACKAGE_NAME:-$TOOLCHAIN_NAME-toolchain.tar.gz}
 RUNTIME_PACKAGE_NAME=${RUNTIME_PACKAGE_NAME:-$TOOLCHAIN_NAME-runtime.tar.gz}
 DEJAGNU_FILE=${DEJAGNU_FILE:-$ROOT_PATH/.github/scripts/toolchain/site.exp}
 
+GMP_REPO=${GMP_REPO:-https://gmplib.org/download/gmp/gmp-6.3.0.tar.bz2}
+GMP_BRANCH=${GMP_BRANCH:-}
+GMP_PATH=${GMP_PATH:-~/gmp-$TARGET}
+GMP_TESTS_PATH=${GMP_TESTS_PATH:-~/gmp-tests-$TARGET}
+
 OPENBLAS_REPO=${OPENBLAS_REPO:-OpenMathLib/OpenBLAS}
 OPENBLAS_BRANCH=${OPENBLAS_BRANCH:-develop}
 

.github/scripts/gmp/build.sh

@@ -0,0 +1,78 @@
+#!/bin/bash
+
+source `dirname ${BASH_SOURCE[0]}`/../config.sh
+
+SHARED=${1:-1}
+
+GMP_SOURCE_PATH=$SOURCE_PATH/gmp
+GMP_BUILD_PATH=$BUILD_PATH/gmp
+
+mkdir -p $GMP_BUILD_PATH
+
+if [[ "$RUN_CONFIG" = 1 ]] || [[ ! -f "$GMP_BUILD_PATH/Makefile" ]]; then
+    if [[ "$DEBUG" = 1 ]]; then
+        CFLAGS="$CFLAGS -O0 -ggdb"
+    else
+        CFLAGS="$CFLAGS -O2"
+    fi
+
+    if [[ "$SHARED" = 1 ]]; then
+        TARGET_OPTIONS="$TARGET_OPTIONS \
+            --enable-shared \
+            --disable-static"
+    else
+        TARGET_OPTIONS="$TARGET_OPTIONS \
+            --disable-shared \
+            --enable-static"
+    fi
+
+    # ADDED: -std=gnu11
+    CC="$TARGET-gcc"
+    CXX="$TARGET-g++"
+    CFLAGS="$CFLAGS \
+        -march=armv8-a \
+        -mtune=generic \
+        -pipe \
+        -fstack-protector-strong \
+        -Wp,-D_FORTIFY_SOURCE=2 \
+        -Wp,-D__USE_MINGW_ANSI_STDIO=1 \
+        -Wno-attributes \
+        -Wno-ignored-attributes \
+        -std=gnu11"
+
+    echo "::group::Configure gmp"
+        pushd $GMP_SOURCE_PATH
+            autoreconf -fiv
+        popd
+
+        rm -rf $GMP_BUILD_PATH/*
+        pushd $GMP_BUILD_PATH
+            $GMP_SOURCE_PATH/configure \
+                --prefix=$GMP_PATH \
+                --build=$BUILD \
+                --host=$TARGET \
+                --enable-cxx \
+                --disable-assembly \
+                $TARGET_OPTIONS \
+                CC="$CC" \
+                CXX="$CXX" \
+                CFLAGS="$CFLAGS"
+        popd
+    echo "::endgroup::"
+fi
+
+echo "::group::Build gmp"
+    pushd $GMP_BUILD_PATH
+        make $BUILD_MAKE_OPTIONS
+    popd
+echo "::endgroup::"
+
+if [[ "$RUN_INSTALL" = 1 ]]; then
+    echo "::group::Install gmp"
+        pushd $GMP_BUILD_PATH
+            make install
+        popd
+    echo "::endgroup::"
+fi
+
+echo 'Success!'

.github/scripts/gmp/execute-tests.sh

@@ -0,0 +1,14 @@
+#!/bin/bash
+
+source `dirname ${BASH_SOURCE[0]}`/../config.sh
+
+GMP_SOURCE_PATH=$SOURCE_PATH/gmp
+GMP_BUILD_PATH=$BUILD_PATH/gmp
+
+echo "::group::Test gmp"
+    pushd $GMP_BUILD_PATH
+        make $CHECK_MAKE_OPTIONS check
+    popd
+echo "::endgroup::"
+
+echo "Success!"

.github/scripts/toolchain/build-mingw.sh

@@ -14,6 +14,9 @@ if [[ "$RUN_CONFIG" = 1 ]] || [[ ! -f "$MINGW_BUILD_PATH/Makefile" ]]; then
         if [[ "$DEBUG" = 1 ]]; then
             CFLAGS="$CFLAGS -O0 -ggdb"
             CXXFLAGS="$CXXFLAGS -O0 -ggdb"
+        else
+            CFLAGS="$CFLAGS -O2"
+            CXXFLAGS="$CXXFLAGS -O2"
         fi
 
         case "$ARCH" in
@@ -64,7 +67,8 @@ if [[ "$RUN_CONFIG" = 1 ]] || [[ ! -f "$MINGW_BUILD_PATH/Makefile" ]]; then
             --enable-shared \
             $HOST_OPTIONS \
             $TARGET_OPTIONS \
-            CFLAGS="$CFLAGS"
+            CFLAGS="$CFLAGS" \
+            CXXFLAGS="$CXXFLAGS"
     echo "::endgroup::"
 fi
 

.github/scripts/update-sources.sh

@@ -9,6 +9,19 @@ function update_repository() {
     BRANCH=$3
     BASE_BRANCH=$4
 
+    if [[ $REPOSITORY =~ (\.tar\.gz|\.tar\.bz2|\.tar|\.tar\.lz|\.tar\.xz|\.tar\.zst)$ ]]; then
+        FILE=$(basename $REPOSITORY)
+        wget $REPOSITORY -O $FILE
+
+        mkdir -p $DIRECTORY
+        rm -rf $DIRECTORY/*
+        tar -xf $FILE -C $DIRECTORY --strip-components=1
+
+        rm -f $FILE
+
+        return 0
+    fi
+
     if [[ ! $REPOSITORY =~ ^(http://|https://|git://) ]]; then
         REPOSITORY="https://github.com/$REPOSITORY.git"
     fi
@@ -84,6 +97,8 @@ echo "::group::Update source code repositories"
     fi
 
     if [[ "$UPDATE_LIBRARIES" = 1 ]]; then
+        update_repository gmp $GMP_REPO $GMP_BRANCH
+        update_repository mpfr $MPFR_REPO $MPFR_BRANCH
         update_repository openblas $OPENBLAS_REPO $OPENBLAS_BRANCH
         update_repository zlib $ZLIB_REPO $ZLIB_BRANCH
         update_repository libxml2 $LIBXML2_REPO $LIBXML2_BRANCH