7 个不稳定版本 (3 个重大更改)
| 0.4.1 | 2020 年 12 月 3 日 |
|---|---|
| 0.4.0 | 2020 年 12 月 2 日 |
| 0.3.2 | 2020 年 10 月 20 日 |
| 0.2.0 | 2020 年 10 月 10 日 |
| 0.1.0 | 2020 年 9 月 25 日 |
11 在 #polyhorn 中排名
59 每月下载次数
在 8 个 crate 中使用 （2 个直接使用）
9KB
113 行代码（不包括注释）
Polyhorn Build
此存储库包含用于自动查找、编译和链接 iOS（以及未来其他平台）本地代码的 polyhorn-build crate 的代码。
这可能只对使用 Polyhorn 的用户有用。
用法
创建一个新的 build.rs 文件
fn main() {
polyhorn_build::build();
}
Polyhorn Build 将自动处理其余部分！
依赖关系
~0.2–8MB
~46K SLoC