6 个版本
0.3.4 | 2023 年 8 月 3 日 |
---|---|
0.3.3 | 2022 年 10 月 28 日 |
0.3.2 | 2022 年 1 月 24 日 |
0.3.1 | 2021 年 5 月 12 日 |
0.2.0 | 2021 年 4 月 30 日 |
#317 in Cargo 插件
78 每月下载量
15KB
228 行
cargo-swipl - 用于与 swipl-rs 一起工作的辅助工具
cargo-swipl 是一个工具,使与依赖于 swipl-rs 的 crates 一起工作变得更加容易。
依赖于 swipl-rs 的 crates 将与在 SWIPL
变量中指定的 SWI-Prolog 系统链接,如果没有指定,则链接到路径上找到的 SWI-Prolog 版本。然而,在运行时,如果无法找到 SWI-Prolog 的共享库,生成的二进制文件将无法启动。
cargo-swipl 为 cargo run
和 cargo test
提供包装,即 cargo swipl run
和 cargo swipl test
,它们设置环境以便发现所需的依赖。它们接受各自 cargo 命令的所有参数,并以相同的状态码返回。
示例
运行主二进制文件
cargo swipl run
运行测试
cargo swipl test
显式指定要运行的 SWI-Prolog 版本
SWIPL=~/.swivm/versions/v8.2.4/bin/swipl cargo swipl run
依赖关系
~2.7–4MB
~60K SLoC