Update INSTALL.md (#2708)

* Update INSTALL.md * I did not need the additional DYLD_LIBRARY_PATH entry and I was not confident that there was no impact from the changes to the Chez Scheme build instructions so I am mostly reverting those changes --------- Co-authored-by: G. Allais <[email protected]> Co-authored-by: Mathew Polzin <[email protected]>
idris-lang · Jan 14, 2024 · c4f99a8 · c4f99a8
1 parent 073fbef
commit c4f99a8
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/INSTALL.md b/INSTALL.md
@@ -69,6 +69,14 @@ Make sure that:
 
 - `$PREFIX/bin` is in your `PATH`
 
+Further, on Apple silicon Macs (M1/M2), you need to set the following environment
+variables:
+
+``` sh
+export IDRIS2_LIBS=/opt/homebrew/lib
+export CPATH=/opt/homebrew/include:/opt/homebrew/lib
+```
+
 ### 2: Installing without an existing Idris 2
 
 You can build from pre-built Chez Scheme source, as long as you have Chez Scheme
@@ -195,9 +203,8 @@ git clone [email protected]:racket/ChezScheme.git
 cd ChezScheme
 git submodule init
 git submodule update
-arch=tarm64osx
 ./configure --pb
-make ${arch}.bootquick
+make tarm64osx.bootquick
 ./configure --threads
 make
 sudo make install