by chesium 2022/7/24 深夜
参考:https://github.com/mthom/scryer-prolog/blob/master/README.md
采用 msys2 环境编译
On Windows, Scryer Prolog is easier to build inside a msys2 environment as some crates may require native C compilation. However, the resulting binary does not need msys2 to run. When executing Scryer in a shell, it is recommended to use a more advanced shell than mintty (the default msys2 shell). The Windows Terminal works correctly.
- 下载msys2:官网,并安装
- 安装耗时较长
- 不要安装在
C:Program Files
等路径包含空格的位置,不然后续编译中会报错。 - (可选)配置Windows Terminal终端:(最好加上管理员权限,如采用 gsudo)
<...>msys2_shell.cmd -defterm -no-start
- 给 msys2 安装
diffutils
和m4
,不然后续编译会报错:pacman -S diffutils pacman -S m4
- 安装 Rust(到 Windows 系统中即可),参照官网(安装时选
2) Customize installation
,将默认为x86_64-pc-windows-msvc
的基础编译工具更换为x86_64-pc-windows-gnu
,其他选项采用默认。参考),并添加到 msys2 的环境变量中:export PATH=$PATH:/c/Users/<用户名>/.cargo/bin
- 同样的,将 Windows 下
gcc.exe
所在的文件夹也添加到 msys2 的环境变量中,(不然后续编译会报错)格式见上。若未安装,可自行查找安装教程。 - 克隆代码库:
https://github.com/mthom/scryer-prolog.git
至任意文件夹(最好到msys2的home/<username>
文件夹里),将 msys2 终端cd
到该目录中。 - 编译:在 msys2 终端中执行
cargo run --release
,如果嫌输出信息太少感觉卡住了可以加上-vv
选项- 编译过程耗时较长,其中最后的
openssl
和gmp-mpfr-sys
编译耗时最长,前面讲到的“不做就会报错”的“报错”基本都是在编译gmp-mpfr-sys
时产生的。
- 编译过程耗时较长,其中最后的
- 编译完成后
<代码库路径>/target/release/scryer-prolog.exe"
即为输出。(就是一个单文件,无需额外的库文件了)
最后输出的单.exe
文件有133MB,我觉得太大了,更成熟的SWI-Prolog只占用44MB(v8.4.0版本)。
作者的README中还提到可以为 scryer-prolog 生成一个.msi
安装包,不过我试了一下,生成的安装包就只是简单地把scryer-prolog.exe
复制到了C:Program Files
中的一个文件夹里,没啥意义。