#!/usr/bin/env bash
set -e
cd "$(dirname "$0")"

echo "── building Rust cubical kernel ──"
# Native staticlib for Lean linkage.  Wasm build is a separate step
# invoked by `cargo build --target wasm32-unknown-unknown` on demand.
(cd native/cubical && cargo build --release)

echo "── building Lean library + tests ──"
lake build

echo "── done ──"
echo "run:  ./.lake/build/bin/cubical-test"