From b74d4fd6208c16d2df50e96b873fc3fd7f6271c6 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@meta.com>
Date: Thu, 20 Jun 2024 09:44:59 -0700
Subject: [PATCH] [github] build on intel mac too

Summary: people still have those, right?

Differential Revision: D58822475

fbshipit-source-id: 7340437e30af25d2c3a77a82039de5bf2b4834e6
---
 .github/workflows/install.yml    | 1 +
 scripts/create_binary_release.sh | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/install.yml b/.github/workflows/install.yml
index 05196c00ee1..61640bce73a 100644
--- a/.github/workflows/install.yml
+++ b/.github/workflows/install.yml
@@ -54,6 +54,7 @@ jobs:
       matrix:
         os:
           - macOS-latest
+          - macOS-13
           - ubuntu-latest
         ocaml-compiler:
           - ocaml-variants.4.14.0+options,ocaml-option-flambda
diff --git a/scripts/create_binary_release.sh b/scripts/create_binary_release.sh
index 1e922ae3fd1..b8447bddbae 100755
--- a/scripts/create_binary_release.sh
+++ b/scripts/create_binary_release.sh
@@ -25,9 +25,9 @@ ROOT_DIR="$SCRIPT_DIR"/..
 NCPUS="$(getconf _NPROCESSORS_ONLN 2>/dev/null || echo 2)"
 PLATFORM=$(uname)
 if [ "$PLATFORM" == 'Darwin' ]; then
-    RELEASE_NAME=infer-osx-"$VERSION"
+    RELEASE_NAME=infer-osx-$(uname -m)-"$VERSION"
 else
-    RELEASE_NAME=infer-linux64-"$VERSION"
+    RELEASE_NAME=infer-linux-$(uname -m)-"$VERSION"
 fi
 RELEASE_TARBALL="$RELEASE_NAME".tar.xz