polyhorn-build
| Crates.io | polyhorn-build |
| lib.rs | polyhorn-build |
| version | 0.4.1 |
| source | src |
| created_at | 2020-09-25 09:16:54.858888 |
| updated_at | 2020-12-03 00:46:07.121529 |
| description | Utilities for finding, compiling and linking native code with Polyhorn. |
| homepage | |
| repository | https://github.com/polyhorn/polyhorn/tree/crates/polyhorn-build |
| max_upload_size | |
| id | 292782 |
| size | 2,289 |
Tim (cutsoy)
documentation
README
Polyhorn Build
This repository contains code for the polyhorn-build crate that
automatically finds, compiles and links native code for iOS (and other platforms
in the future).
This is probably only useful if you're using Polyhorn.
Usage
Create a new build.rs file:
fn main() {
polyhorn_build::build();
}
Polyhorn Build will figure out the rest!