Différences
Ci-dessous, les différences entre deux révisions de la page.
| unix:idris [27/10/2026 22:02] – créée kaikai | unix:idris [05/11/2026 18:49] (Version actuelle) – supprimée kaikai | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | # Idris | ||
| - | Prerequis : | ||
| - | xi gmp-devel chez-scheme | ||
| - | Pour install pack, ne pas passer par le script, mais par [[https:// | ||
| - | As an alternative to the installation script described above, you can use the pre-built micropack installer bundled with this repository. This will install the latest nightly package collection (the list of available package collections can be found here). | ||
| - | |||
| - | Here's the installation command to get you started. This assumes the name of your Chez Scheme executable is scheme: | ||
| - | |||
| - | make micropack SCHEME=scheme | ||
| - | |||
| - | In order to use racket instead of chez scheme, run the following: | ||
| - | |||
| - | make micropack-racket | ||
| - | |||
| - | Wait a couple of seconds. If micropack starts writing non-stop to standard out, this means that bootstrapping of the Idris2 compiler has successfully started. This will take a couple of minutes, so it's probably a good idea to go and have a cup of coffee. | ||
