idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-08-17 09:10:33 +03:00
Code Issues Projects Releases Wiki Activity

Update README/typo in INSTALL

Browse Source
This commit is contained in:
Edwin Brady 2020-05-18 23:31:25 +01:00
parent 3634ec76b7
commit 0bbda746d2
2 changed files with 13 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
INSTALL.md
View File

@ -38,11 +38,13 @@ Then, to build the libraries using this generated compiler, again using your
local variant for `chez`.
* `make libs SCHEME=chez`
* `make install`SCHEME=chez
* `make install SCHEME=chez`
Make sure `$PREFIX/bin` is in your `PATH`. Then, go to the Self-hosting step
below, but you'll also need to add `SCHEME=chez` (with the appropriate name
for `chez`) so that the bootstrapping script knows where to look. That is:
At this point, check that `$PREFIX/bin` is in your `PATH`.
Then, go to the Self-hosting step below, but you'll also need to add
`SCHEME=chez` (with the appropriate name for `chez`) so that the bootstrapping
script knows where to look. That is:
* `rm -rf build` -- clean the build artefacts
* `make all IDRIS2_BOOT=idris2sh SCHEME=chez

7
README.md
View File

@ -1,8 +1,15 @@
Self-hosted Idris 2
-------------------
It finally happened!
See `INSTALL.md` for installation instructions.
There are no guarantees: This repository might move or be renamed or deleted or
anything at no notice. It will eventually turn into the real Idris 2
repository, one way or another.
There's still a couple of bits and pieces that don't work (IDE mode related)
but I will get to them shortly.
Good luck :)