mps: build aarch64 binaries in CI

GaloisInc · Jun 10, 2024 · 8fc23b9 · 8fc23b9
1 parent deab44f
commit 8fc23b9
Showing 1 changed file with 18 additions and 14 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -17,21 +17,25 @@ jobs:
       steps:
         - name: Checkout repository and submodules
           uses: actions/checkout@v4
+        - name: Install aarch64 toolchain
+          run: sudo apt-get install -y {gcc,g++}-aarch64-linux-gnu
+        - name: Install verilator
+          run: sudo apt-get install -y verilator
         - name: Build MPS
-          uses: addnab/docker-run-action@v3
-          with:
-            image: galoisinc/hardens:latest
-            options: -v ${{ github.workspace }}:/HARDENS
-            run: |
-              cd components/mission_protection_system/src
-              make clean
-              # Build, then check it created the correct output file.
-              make rts_bottom CONFIG=self_test
-              [ -f rts_bottom.self_test ]
-              make rts CONFIG=self_test
-              [ -f rts.self_test ]
-              make rts CONFIG=no_self_test
-              [ -f rts.no_self_test ]
+          run: |
+            cd components/mission_protection_system/src
+            make clean
+            # Build, then check it created the correct output file.
+            make rts_bottom CONFIG=self_test
+            [ -f rts_bottom.self_test ]
+            make rts CONFIG=self_test
+            [ -f rts.self_test ]
+            make rts CONFIG=no_self_test
+            [ -f rts.no_self_test ]
+            make rts CONFIG=self_test TARGET=aarch64
+            [ -f rts.self_test.aarch64 ]
+            make rts CONFIG=no_self_test TARGET=aarch64
+            [ -f rts.no_self_test.aarch64 ]
         - name: Upload MPS binaries
           uses: actions/upload-artifact@v4
           with: