Check for any arm platform

allenai · Sep 20, 2024 · 92ecf83 · 92ecf83
1 parent 8806094
commit 92ecf83
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/setup.sh b/setup.sh
@@ -31,8 +31,8 @@ if [[ $PLATFORM = "aarch64" ]]; then
   which maturin || pip install maturin
 fi
 
-if [[ $PLATFORM = "arm64" ]]; then
-  echo "arm64 detected..."
+if [[ $PLATFORM = arm* ]]; then
+  echo "arm detected..."
   which maturin || pip install maturin
 else
   echo "Unsupported platform; please install maturin manually"