Add linux-arm64

kind2-mc · May 23, 2024 · 91a1f60 · 91a1f60
1 parent dabccc2
commit 91a1f60
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -12,7 +12,7 @@ jobs:
     runs-on: ubuntu-latest
     strategy:
       matrix:
-        platform: [linux-x64, darwin-x64, darwin-arm64]
+        platform: [linux-x64, linux-arm64, darwin-x64, darwin-arm64]
         node-version: [18.x]
         # See supported Node.js release schedule at https://nodejs.org/en/about/releases/
     steps:

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -18,6 +18,8 @@ jobs:
           - platform: linux-x64
             target:
             z3_static: z3-static
+          - platform: linux-arm64
+            target: --target linux-arm64
           - platform: darwin-x64
             target: --target darwin-x64
           - platform: darwin-arm64

diff --git a/configure.sh b/configure.sh
@@ -22,6 +22,10 @@ case "$1" in
     OSTYPE=linux
     ARCH=x86_64
     ;;
+  linux-arm64)
+    OSTYPE=linux
+    ARCH=arm64
+    ;;
   linux*)
     OSTYPE=linux
     ;;
@@ -50,6 +54,10 @@ case "$OSTYPE" in
         Z3_OS_VERSION=x64-glibc-2.31
         KIND2_OS_VERSION=linux-x86_64
         ;;
+      arm64)
+        Z3_OS_VERSION=arm64-glibc-2.35
+        KIND2_OS_VERSION=linux-arm64
+        ;;
       *)
         echo "unsupported ARCH: $ARCH";
         exit 2;;