From 92ecf832e17c2801beaa42a437b816b1a9a1bff0 Mon Sep 17 00:00:00 2001
From: Tyler Murray <tylerm@allenai.org>
Date: Fri, 20 Sep 2024 11:00:33 -0700
Subject: [PATCH] Check for any arm platform

---
 setup.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/setup.sh b/setup.sh
index 43dbb4ca..0b4212a7 100755
--- 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"