idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-24 20:23:11 +03:00
Code Issues Projects Releases Wiki Activity

Add instructions about thread support in Chez Scheme to INSTALL.md

Browse Source 
I encountered a difficult-to-diagnose error while bootstrapping Idris 2, and these instructions fixed it for me.
This commit is contained in:
David Thrane Christiansen 2020-08-18 18:01:14 -07:00 committed by GitHub
parent d440480516
commit a101f5e8e7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
INSTALL.md
View File

@ -95,6 +95,13 @@ code generator. To do so, once everything is successfully installed, type:
The API will only work if you've completed the self-hosting step, step 3, since
the intermediate code versions need to be consistent throughout.
### Troubleshooting
If you get the message `variable make-thread-parameter is not bound` while
bootstrapping via Chez Scheme, or while running the tests when bootstrapping via
Racket, then your copy of Chez Scheme was built without thread support. Pass
`--threads` to `./configure` while building Chez Scheme to correct the issue.
## Installing from a package manager
### Installing using Homebrew