ARM Linux CI (flintlib#2244)

* Add Ubuntu ARM CI runner * Remove unnecessary lines in Ubuntu Clang runner
albinahlback · Mar 5, 2025 · aa9f0b0 · aa9f0b0
1 parent b5496b7
commit aa9f0b0
Showing 1 changed file with 58 additions and 6 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -186,6 +186,64 @@ jobs:
 
 
 
+  ##############################################################################
+  # ubuntu arm
+  ##############################################################################
+  ubuntu-arm:
+    name: Ubuntu ARM (x5)
+
+    runs-on: ubuntu-24.04-arm
+
+    env:
+      CC: "gcc"
+      FLINT_TEST_MULTIPLIER: "5"
+
+    steps:
+      - name: "Rescale multiplier"
+        run: |
+          FLINT_TEST_MULTIPLIER=$(echo "${FLINT_TEST_MULTIPLIER} * ${GLOBAL_MULTIPLIER}" | bc)
+          echo "FLINT_TEST_MULTIPLIER=${FLINT_TEST_MULTIPLIER}"
+          echo "FLINT_TEST_MULTIPLIER=${FLINT_TEST_MULTIPLIER}" >> $GITHUB_ENV
+
+      - uses: actions/checkout@v4
+
+      - name: "Setup"
+        run: |
+          sudo apt-get install -y \
+            libgmp-dev \
+            libmpfr-dev \
+            autoconf \
+            libtool-bin
+
+          # Check versions
+          gcc --version
+          make --version
+          autoconf --version
+          libtool --version
+          echo "MAKE=make -j$(expr $(nproc) + 1) --output-sync=target" >> $GITHUB_ENV
+
+      - name: "Configure"
+        run: |
+          ./bootstrap.sh
+          ./configure \
+            CC=${CC} \
+            --disable-debug
+
+      - name: "Compile library"
+        run: |
+          $MAKE
+          ldd libflint.so
+
+      - name: "Compile tests"
+        run: |
+          $MAKE tests
+
+      - name: "Check"
+        run: |
+          $MAKE check
+
+
+
   ##############################################################################
   # macos (M1) with clang
   ##############################################################################
@@ -253,13 +311,7 @@ jobs:
 
     runs-on: ubuntu-24.04
 
-    # NOTE: Clang is currently buggy on Ubuntu.  Hence, we temporarily allow
-    # this job to fail.
-    continue-on-error: true
-
     env:
-      LOCAL: ${{ github.workspace }}/local
-      LDFLAGS: "-Wl,-rpath,$LOCAL/lib"
       CC: "clang"
       FLINT_TEST_MULTIPLIER: "5"