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

[ fix #1788 ] Only mention building using the previous version

Browse Source 
We only ensure using CI that Idris can be built using the previous
released version so let's not claim in the docs you can use any old
one.
This commit is contained in:
Guillaume ALLAIS 2021-08-30 17:11:17 +01:00
parent 126daf7c28
commit 79177a70ea
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
INSTALL.md
View File

@ -71,7 +71,8 @@ If all is well, to install, type:
### 3: Installing with an existing Idris 2
If you have an earlier version of Idris 2 (minimum version 0.2.2) installed:
If you have the latest *released* version of Idris 2
(0.4.0 at the time of writing) installed:
- `make all`
- `make install`