Make prove_stdio.sh work on apple chips (#430)

0xPolygonZero · Jul 23, 2024 · ed598b0 · ed598b0
1 parent 1c4822c
commit ed598b0
Showing 1 changed file with 5 additions and 1 deletion.
diff --git 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"))