环境变量（Environment Variables）

Idris 2 支持多种环境变量，用于决定查找包、外部库、代码生成器等的位置。以下按常用顺序列出当前支持的环境变量：

构建时（Build-time）

• PREFIX - 设置 Idris2 安装前缀的默认方式。

• IDRIS2_PREFIX - 设置 Idris2 安装前缀的另一种方式。

运行时（Runtime）

• EDITOR - REPL 中 :e 命令使用的编辑器。

两者皆有（Both）

• IDRIS2_CG - 代码生成后端。

• IDRIS2_PATH - Idris2 查找导入文件的目录，除包内导入外。

• IDRIS2_PACKAGE_PATH - Idris2 查找 Idris 2 包的目录，除默认目录（即 IDRIS2_PREFIX 下和当前工作目录的 depends 子目录）外。多个目录在 MacOS 和类 UNIX 系统下用 : 分隔，在 Windows 下用 ; 分隔。

• IDRIS2_DATA - Idris2 查找数据文件的目录，通常为代码生成器的支持代码。

• IDRIS2_LIBS - Idris2 查找库文件的目录（用于代码生成）。

• CHEZ - Chez 后端：chez 可执行文件的位置。

• RACKET - Racket 后端：racket 可执行文件的位置。

• RACKET_RACO - Racket 后端：raco 可执行文件的位置。

• IDRIS2_INC_CGS - 增量编译模块时使用的代码生成器（逗号分隔）。

• IDRIS2_CC - RefC 后端：C 编译器可执行文件的位置。

• IDRIS2_CFLAGS - RefC 后端：C 编译器参数。

• IDRIS2_CPPFLAGS - RefC 后端：C 预处理器参数。

• IDRIS2_LDFLAGS - RefC 后端：C 链接器参数。

• IDRIS2_LDLIBS - RefC 后端：C 链接器库名或参数。

• CC - RefC 后端：C 编译器可执行文件（优先使用 IDRIS2_CC）。

• CFLAGS - RefC 后端：C 编译器参数（优先使用 IDRIS2_CFLAGS）。

• CPPFLAGS - RefC 后端：C 预处理器参数（优先使用 IDRIS2_CPPFLAGS）。

• LDFLAGS - RefC 后端：C 链接器参数（优先使用 IDRIS2_LDFLAGS）。

• LDLIBS - RefC 后端：C 链接器库名或参数。

• NODE - NodeJS 后端：node 可执行文件。

• PATH - PATH 变量用于在部分代码生成器中查找可执行文件。

• NO_COLOR - 指示 Idris 不向标准输出打印彩色内容。传递 --colour/--color 选项会覆盖该环境变量。

• GAMBIT_GSI - Gambit 后端：gsi 可执行文件的位置。

• GAMBIT_GSC - Gambit 后端：gsc 可执行文件的位置。

• GAMBIT_GSC_BACKEND - Gambit 后端：传递给 gsc 的参数。