Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update INSTALL.md #2708

Merged
merged 3 commits into from
Jan 14, 2024
Merged

Update INSTALL.md #2708

Changes from 2 commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
e108922
Update INSTALL.md
buggymcbugfix Oct 9, 2022
54a1516
Merge branch 'main' into patch-1
gallais Jul 31, 2023
5808fe1
per my comments about my experience testing these changes, I did not …
mattpolzin Jan 14, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
17 changes: 11 additions & 6 deletions INSTALL.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,6 +46,16 @@ If you have an existing Idris 2, go to Step 3. Otherwise, read on...
Make sure that:

- `$PREFIX/bin` is in your `PATH`
- `$PREFIX/lib` is in your `LD_LIBRARY_PATH` or `DYLD_LIBRARY_PATH` if on
`macOS` (so that the system knows where to look for library support code)
mattpolzin marked this conversation as resolved.
Show resolved Hide resolved

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

Expand Down Expand Up @@ -200,12 +210,7 @@ the Racket fork of chez scheme.
```sh
git clone [email protected]:racket/ChezScheme.git
cd ChezScheme
git submodule init
git submodule update
arch=tarm64osx
./configure --pb
make ${arch}.bootquick
./configure --threads
./configure
mattpolzin marked this conversation as resolved.
Show resolved Hide resolved
make
sudo make install
```
Expand Down