mps: add build_aarch64.sh script

GaloisInc · Jun 7, 2024 · f9fc26c · f9fc26c
1 parent a2f7dac
commit f9fc26c
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/components/mission_protection_system/build_aarch64.sh b/components/mission_protection_system/build_aarch64.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+set -euo pipefail
+
+cd "$(dirname "$0")/src"
+make clean
+make CC=aarch64-linux-gnu-g++ CXX=aarch64-linux-gnu-g++ SENSORS=NotSimulated SELF_TEST=Disabled
+cp -v rts rts.no_self_test.aarch64
+make clean
+make CC=aarch64-linux-gnu-g++ CXX=aarch64-linux-gnu-g++ SENSORS=NotSimulated SELF_TEST=Enabled
+cp -v rts rts.self_test.aarch64