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:
Polyhorn Build will figure out the rest!