From ed598b0b4593932f91888f9981a621ef85343f2a Mon Sep 17 00:00:00 2001
From: Robin Salen <30937548+Nashtare@users.noreply.github.com>
Date: Tue, 23 Jul 2024 17:22:59 -0400
Subject: [PATCH] Make prove_stdio.sh work on apple chips (#430)

---
 zero_bin/tools/prove_stdio.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/zero_bin/tools/prove_stdio.sh b/zero_bin/tools/prove_stdio.sh
index 900323dbc..35a9d9990 100755
--- a/zero_bin/tools/prove_stdio.sh
+++ b/zero_bin/tools/prove_stdio.sh
@@ -11,7 +11,11 @@ set -exo pipefail
 # 2 --> Test run only flag `test_only` (optional)
 
 # We're going to set the parallelism in line with the total cpu count
-num_procs=$(nproc)
+if [[ "$OSTYPE" == "darwin"* ]]; then
+    num_procs=$(sysctl -n hw.physicalcpu)
+else
+    num_procs=$(nproc)
+fi
 
 # Force the working directory to always be the `tools/` directory. 
 TOOLS_DIR=$(dirname $(realpath "$0"))