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

Merge pull request #1807 from mattpolzin/correct-gmp-install-directions

Browse Source
This commit is contained in:
Mathew Polzin 2021-07-31 12:56:42 -07:00 committed by GitHub
commit ed0c8d60bc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
INSTALL.md
View File

@ -10,10 +10,12 @@ The requirements are:
- A Scheme compiler; either Chez Scheme (default), or Racket.
- `bash`, `GNU make`, `sha256sum` and `GMP`. On Linux, you probably already
have this. On macOS and major BSD flavours, you can install them using a
have these. On macOS and major BSD flavours, you can install them using a
package manager: for instance, on macOS, you can install with the
`brew install coreutils gmp` and on OpenBSD, with the `pkg_add coreutils
bash gmake gmp` command.
bash gmake gmp` command. You specifically need the dev GMP library, which
means on some systems the package you need to install will be named
something more like `libgmp3-dev`.
On Windows, it has been reported that installing via `MSYS2` works
[MSYS2](https://www.msys2.org/). On Windows older than Windows 8, you may need to