From 3f339e1a7fe2e852d6978315d1a8b93b8f81bb9f Mon Sep 17 00:00:00 2001
From: Kevin Boos <1139460+kevinaboos@users.noreply.github.com>
Date: Tue, 21 Nov 2023 14:38:55 -0800
Subject: [PATCH] Clarify MacOS build instructions (#1077)

Apparently Intel-based Macs also need `gmake`, not `make`;
this is not specific to Apple silicon-based Macs (e.g., M1).
---
 README.md | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 17ed68345c..ac748ca685 100644
--- a/README.md
+++ b/README.md
@@ -104,8 +104,10 @@ If you're on WSL, also do the following steps:
     ```sh
     rm -rf /tmp/theseus_tools_src
     ```
-
-  * If you're building Theseus on an M1-based Mac, you may need to use `gmake` instead of `make` for build commands. Alternatively, you can use `bash` with x86 emulation, but this is generally not necessary. 
+  * **NOTE**: on MacOS, you need to run `gmake` instead of `make` for build commands (or you can simply create a shell alias).
+    * This is because HomeBrew installs its binaries in a way that doesn't conflict with built-in versions of system utilities.
+  
+  * *(This is typically not necessary)*: if you're building Theseus on older Apple Silicon (M1 chips), you may need to use `bash` with x86 emulation:
     ```sh
     arch -x86_64 bash   # or another shell of your choice
     ```