Make GitHub Actions validate the dynamic linking mode

Author: DrXiao

.github/workflows/main.yml

@@ -9,6 +9,14 @@ jobs:
       matrix:
         compiler: [gcc, clang]
         architecture: [arm, riscv]
+        linking: [static]
+        include:
+          - compiler: gcc
+            architecture: arm
+            linking: dynamic
+          - compiler: clang
+            architecture: arm
+            linking: dynamic
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
@@ -18,28 +26,53 @@ jobs:
           sudo apt-get install -q -y graphviz jq
           sudo apt-get install -q -y qemu-user
           sudo apt-get install -q -y build-essential
+          sudo apt-get install -q -y gcc-arm-linux-gnueabi
+      - name: Confirm linking mode
+        id: confirm-mode
+        run: |
+          if [ "${{ matrix.linking }}" = "dymamic" ]; then
+            echo "Use dynamic linking mode"
+            echo "DYNLINK=1" >> "$GITHUB_OUTPUT"
+          else
+            echo "Use static linking mode"
+            echo "DYNLINK=0" >> "$GITHUB_OUTPUT"
+          fi
       - name: Build artifacts
         env:
           CC: ${{ matrix.compiler }}
         run: |
-          make distclean config ARCH=${{ matrix.architecture }}
+          make distclean config ARCH=${{ matrix.architecture }} \
+                                DYNLINK=${{ steps.confirm-mode.outputs.DYNLINK }}
       - name: IR regression tests
         run: |
-          make check-snapshot || exit 1
+          make check-snapshot DYNLINK=${{ steps.confirm-mode.outputs.DYNLINK }} || exit 1
       - name: Sanitizer-enabled stage 0 tests
         env:
           CC: ${{ matrix.compiler }}
         run: |
-          make check-sanitizer || exit 1
+          make check-sanitizer DYNLINK=${{ steps.confirm-mode.outputs.DYNLINK }} || exit 1
       - name: Unit tests
         run: |
-          make check || exit 1
+          make check DYNLINK=${{ steps.confirm-mode.outputs.DYNLINK }} || exit 1
 
   host-arm:
     runs-on: ubuntu-24.04
+    strategy:
+      matrix:
+        linking: [static, dynamic]
     steps:
     - name: Checkout code
       uses: actions/checkout@v4
+    - name: Confirm linking mode
+      id: confirm-mode
+      run: |
+        if [ "${{ matrix.linking }}" = "dymamic" ]; then
+          echo "Use dynamic linking mode"
+          echo "DYNLINK=1" >> "$GITHUB_OUTPUT"
+        else
+          echo "Use static linking mode"
+          echo "DYNLINK=0" >> "$GITHUB_OUTPUT"
+        fi
     - name: Build artifacts
       # The GitHub Action for non-x86 CPU
       # https://github.com/uraimo/run-on-arch-action
@@ -52,9 +85,9 @@ jobs:
           apt-get update -qq -y
           apt-get install -yqq build-essential
         run: |
-          make config ARCH=arm
-          make check-sanitizer || exit 1
-          make check || exit 1
+          make config ARCH=arm DYNLINK=${{ steps.confirm-mode.outputs.DYNLINK }}
+          make check-sanitizer DYNLINK=${{ steps.confirm-mode.outputs.DYNLINK }} || exit 1
+          make check DYNLINK=${{ steps.confirm-mode.outputs.DYNLINK }} || exit 1
 
   coding-style:
     runs-on: ubuntu-24.04