Update from the newest template.

Author: bhaible

.github/workflows/many-platforms.yml

@@ -886,3 +886,42 @@ jobs:
             ${{ env.package }}-*/build/callback/minitests*.output.*
           retention-days: 7
           overwrite: true
+  # This is not a platform-specific test, but very useful for finding cross-compilation bugs.
+  check-cross:
+    name: make check with a cross-compiler
+    needs: build-tarball
+    runs-on: ubuntu-22.04
+    steps:
+      # This is needed because we run a script stored in this repository.
+      - uses: actions/checkout@v4
+      # Download the artifact to $GITHUB_WORKSPACE.
+      # Doc: https://github.com/actions/download-artifact?tab=readme-ov-file#usage
+      - uses: actions/download-artifact@v4
+        with:
+          name: tarball
+      - run: uname -a
+      - run: id
+      - run: env | LC_ALL=C sort
+      - run: pwd
+      # Install Ubuntu packages.
+      # List of packages: https://packages.ubuntu.com/
+      - run: sudo apt update; sudo apt install g++-riscv64-linux-gnu
+      - run: |
+          pwd
+          export CPPFLAGS="-Wall"
+          export CC="riscv64-linux-gnu-gcc"
+          export CXX="riscv64-linux-gnu-g++"
+          ./build-on.sh '${{ env.package }}' '--host=riscv64-linux-gnu' 'make'
+      # Doc: https://docs.github.com/en/actions/using-workflows/storing-workflow-data-as-artifacts
+      #      https://github.com/actions/upload-artifact?tab=readme-ov-file#usage
+      - if: ${{ always() }}
+        uses: actions/upload-artifact@v4
+        with:
+          name: logs-cross
+          path: |
+            ${{ env.package }}-*/build/config.cache
+            ${{ env.package }}-*/build/config.log
+            ${{ env.package }}-*/build/config.status
+            ${{ env.package }}-*/build/log[12]
+          retention-days: 7
+          overwrite: true

build-on.sh

@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# Copyright (C) 2024 Free Software Foundation, Inc.
+# Copyright (C) 2024-2025 Free Software Foundation, Inc.
 #
 # This file is free software: you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published
@@ -24,6 +24,11 @@ make="$3"
 
 set -x
 
+case "$configure_options" in
+  --host=riscv*) cross_compiling=true ;;
+  *)             cross_compiling=false ;;
+esac
+
 # Unpack the tarball.
 tarfile=`echo "$package"-*.tar.gz`
 packagedir=`echo "$tarfile" | sed -e 's/\.tar\.gz$//'`
@@ -39,7 +44,9 @@ cd build
 # Build.
 $make > log2 2>&1; rc=$?; cat log2; test $rc = 0 || exit 1
 
-# Run the tests.
-$make check > log3 2>&1; rc=$?; cat log3; test $rc = 0 || exit 1
+if ! $cross_compiling; then
+  # Run the tests.
+  $make check > log3 2>&1; rc=$?; cat log3; test $rc = 0 || exit 1
+fi
 
 cd ..