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

Add note to INSTALL.md about Chez thread support requirement when

Browse Source 
building Chez Scheme locally from source and
improve formatting of first paragraphs

```
Compiling idris2_app/idris2-boot.ss with output to
idris2_app/idris2-boot.so
Exception: attempt to reference unbound identifier
make-thread-parameter at line 171, char 30 of idris2_app/idris2-boot.ss
```
This commit is contained in:
Marek 2020-05-28 20:06:35 +01:00
parent 1d87e3cd18
commit f1daf427b5
1 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
INSTALL.md
View File

@ -1,18 +1,20 @@
Installing Installing
========== ==========
The easiest way to install is via the existing generated Scheme code. The The easiest way to install is via the existing generated Scheme code.
requirements are: The requirements are:
* A Scheme compiler; either Chez Scheme (default), or Racket * A Scheme compiler; either Chez Scheme (default), or Racket.
* `bash`, with `realpath`. On Linux, you probably already have this. On * `bash`, with `realpath`. On Linux, you probably already have this.
a Mac, you can install this with `brew install coreutils`. On a Mac, you can install this with `brew install coreutils`.
On Windows, it has been reported that installing via `MSYS2` works On Windows, it has been reported that installing via `MSYS2` works
(https://www.msys2.org/). On Raspberry Pi, you can bootstrap via Racket. (https://www.msys2.org/). On Raspberry Pi, you can bootstrap via Racket.
By default, code generation is via Chez Scheme. You can use Racket instead, By default, code generation is via Chez Scheme. You can use Racket instead,
by setting the environment variable `IDRIS2_CG=racket` before running `make`. by setting the environment variable `IDRIS2_CG=racket` before running `make`.
If you install Chez Scheme from source files, building it locally,
make sure you run `./configure --threads` to build multithreading support in.
1: Set the PREFIX 1: Set the PREFIX
----------------- -----------------
@ -56,7 +58,7 @@ If all is well, to install, type:
---------------------------------------------------- ----------------------------------------------------
If you have [Idris-2-in-Idris-1](https://github.com/edwinb/Idris2-boot) If you have [Idris-2-in-Idris-1](https://github.com/edwinb/Idris2-boot)
installed: installed:
* `make all IDRIS2_BOOT=idris2boot` * `make all IDRIS2_BOOT=idris2boot`
* `make install IDRIS2_BOOT=idris2boot` * `make install IDRIS2_BOOT=idris2boot`