|
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 个直接使用）
Polyhorn Build
此存储库包含用于自动查找、编译和链接 iOS（以及未来其他平台）本地代码的 polyhorn-build crate 的代码。
这可能只对使用 Polyhorn 的用户有用。
用法
创建一个新的 build.rs 文件
fn main() {
polyhorn_build::build();
}
Polyhorn Build 将自动处理其余部分！