Make GitHub Actions validate the dynamic linking mode

Enable the GitHub Actions to validate the compiler under the dynamic
linking mode. However, if the target architecture is RISC-V, the
workflow will skip validation because because this mode has not been
implemented for it.

Author: DrXiao

.github/workflows/main.yml

@@ -9,6 +9,14 @@ jobs:
       matrix:
         compiler: [gcc, clang]
         architecture: [arm, riscv]
+        link_mode: [static]
+        include:
+          - compiler: gcc
+            architecture: arm
+            link_mode: dynamic
+          - compiler: clang
+            architecture: arm
+            link_mode: dynamic
     steps:
       - name: Checkout code
         uses: actions/checkout@v4
@@ -18,25 +26,30 @@ 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: Build artifacts
         env:
           CC: ${{ matrix.compiler }}
         run: |
-          make distclean config ARCH=${{ matrix.architecture }}
+          make distclean config ARCH=${{ matrix.architecture }} \
+                                LINK_MODE=${{ matrix.link_mode }}
       - name: IR regression tests
         run: |
-          make check-snapshot || exit 1
+          make check-snapshot LINK_MODE=${{ matrix.link_mode }} || exit 1
       - name: Sanitizer-enabled stage 0 tests
         env:
           CC: ${{ matrix.compiler }}
         run: |
-          make check-sanitizer || exit 1
+          make check-sanitizer LINK_MODE=${{ matrix.link_mode }} || exit 1
       - name: Unit tests
         run: |
-          make check || exit 1
+          make check LINK_MODE=${{ matrix.link_mode }} || exit 1
 
   host-arm:
     runs-on: ubuntu-24.04
+    strategy:
+      matrix:
+        link_mode: [static, dynamic]
     steps:
     - name: Checkout code
       uses: actions/checkout@v4
@@ -52,9 +65,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 LINK_MODE=${{ matrix.link_mode }}
+          make check-sanitizer LINK_MODE=${{ matrix.link_mode }} || exit 1
+          make check LINK_MODE=${{ matrix.link_mode }} || exit 1
 
   coding-style:
     runs-on: ubuntu-24.04