Windows 的先决条件

MSYS2

要在 Windows 上构建 Idris 2 ，需要一个类似 Unix 的环境，用于构建过程中使用的所有工具。 MSYS2 为我们提供了这个环境。

  1. 下载最新版本的 MSYS2

  2. 运行安装程序。不要把它安装在程序文件下，因为它需要写文件（例如， "unix " 主目录就在那下面）

  3. 在你安装 MSYS2 的目录中，找到文件 mingw64.ini ，并添加行 MSYS2_PATH_TYPE=inherit 。这样就把 windows PATH 加入到 MSYS2 的 shell 中。

  4. 启动 MSYS2 （点击 mingw64.exe ，因为开始菜单中的图标不会从 ini 中获取 MSYS2_PATH_TYPE ，但它可以被添加到系统设置中）

  5. 通过 pacman -Syu 更新安装最新版本

  6. 安装构建所需的程序：

    $ pacman -S make mingw-w64-x86_64-gcc

Chez Scheme

Chez Scheme 在 GitHub 上有一个现成的安装程序

  1. 下载安装程序并运行它，不要安装在有空格的路径中，目前 Idris2 对空格有问题。

  2. 将64位方案添加到 PATH 中。它是 \bin\ta6nt 子目录，是安装 Chez Scheme 的地方。因此，如果你使用 "C:Chez"，它将在 C:\Chez\bin\ta6nt

构建

  1. 启动一个新的 MSYS2 shell ，让它知道你修改过的 PATH （使用 Mingw64 来获得正确的编译器是很重要的）。

  2. 导航到Idris2目录。

  3. 设置 Idris2 需要的 SCHEME 环境变量 export SCHEME=scheme 。这可以在 bash 配置文件或 Windows 设置中永久设置。

  4. 现在 make bootstrap && make install 应该建立 Idris2 并安装在 home/<username>/.idris2/bin 在你的 MSYS2 安装下。如果你把它添加到 Windows 设置的 PATH 中，它将可以从你打开的任何命令行（包括 Powershell 或 DOS ）使用。