Idris 语言文档 Version 1.3.1环境变量需要设置为相对与 idris 可执行文件所在的 奉 奤 奲 奩 女 库的路径。 IDRIS_TOOLCHAIN_DIR 环境变量是可选的，如果设置了它，奉 奤 奲 奩 女 就会在该路径下寻找 奃 编译器。 例如： IDRIS_LIB_DIR="./libs" \ IDRIS_TOOLCHAIN_DIR="./mingw/bin" \ CABALFLAGS="-fffi -ffreestanding0 码力 | 224 页 | 2.06 MB | 1 年前3- The Idris Tutorial Version 0.99t h at p at h t o fi n d t h e C c om p i l e r . E x am p l e : IDRIS_LIB_DIR="./libs" IDRIS_TOOLCHAIN_DIR="./mingw/bin" CABALFLAGS="-fffi -ffreestanding -frelease" make 2. 12 W h at d oe s t h e n0 码力 | 182 页 | 1.04 MB | 1 年前3
- The Idris Tutorial Version 1.0.1t h at p at h t o fi n d t h e C c om p i l e r . E x am p l e : IDRIS_LIB_DIR="./libs" IDRIS_TOOLCHAIN_DIR="./mingw/bin" CABALFLAGS="-fffi -ffreestanding - ˓ → frelease" make W h at d oe s t h e n0 码力 | 223 页 | 1.21 MB | 1 年前3
- The Idris Tutorial Version 1.1.0t h at p at h t o fi n d t h e C c om p i l e r . E x am p l e : IDRIS_LIB_DIR="./libs" IDRIS_TOOLCHAIN_DIR="./mingw/bin" CABALFLAGS="-fffi -ffreestanding - ˓ → frelease" make W h at d oe s t h e n0 码力 | 223 页 | 1.21 MB | 1 年前3
- The Idris Tutorial Version 0.99.2t h at p at h t o fi n d t h e C c om p i l e r . E x am p l e : IDRIS_LIB_DIR="./libs" IDRIS_TOOLCHAIN_DIR="./mingw/bin" CABALFLAGS="-fffi -ffreestanding - ˓ → frelease" make W h at d oe s t h e n0 码力 | 224 页 | 1.22 MB | 1 年前3
- The Idris Tutorial Version 1.1.1t h at p at h t o fi n d t h e C c om p i l e r . E x am p l e : IDRIS_LIB_DIR="./libs" IDRIS_TOOLCHAIN_DIR="./mingw/bin" CABALFLAGS="-fffi -ffreestanding - ˓ → frelease" make W h at d oe s t h e n0 码力 | 223 页 | 1.21 MB | 1 年前3
- The Idris Tutorial Version 1.3.1p at h t o fi n d t h e C c om p i l e r . F or e x am p l e : IDRIS_LIB_DIR="./libs" \ IDRIS_TOOLCHAIN_DIR="./mingw/bin" \ CABALFLAGS="-fffi -ffreestanding -frelease" \ make 2. 13 W h at d oe s t h0 码力 | 230 页 | 1.24 MB | 1 年前3
- The Idris Tutorial Version 1.0t h at p at h t o fi n d t h e C c om p i l e r . E x am p l e : IDRIS_LIB_DIR="./libs" IDRIS_TOOLCHAIN_DIR="./mingw/bin" CABALFLAGS="-fffi -ffreestanding - ˓ → frelease" make W h at d oe s t h e n0 码力 | 223 页 | 1.21 MB | 1 年前3
- The Idris Tutorial Version 1.3.0p at h t o fi n d t h e C c om p i l e r . F or e x am p l e : IDRIS_LIB_DIR="./libs" \ IDRIS_TOOLCHAIN_DIR="./mingw/bin" \ CABALFLAGS="-fffi -ffreestanding -frelease" \ make 2. 12 W h at d oe s t h0 码力 | 229 页 | 1.24 MB | 1 年前3
- The Idris Tutorial Version 2.3.0t h at p at h t o fi n d t h e C c om p i l e r . E x am p l e : IDRIS_LIB_DIR="./libs" IDRIS_TOOLCHAIN_DIR="./mingw/bin" CABALFLAGS="-fffi -ffreestanding - ˓ → frelease" make 2. 12 W h at d oe s t0 码力 | 228 页 | 1.23 MB | 1 年前3
共 10 条
- 1