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!