name = "cubicalTransport"
version = "0.1.0"
defaultTargets = ["cubical-test"]

[[lean_lib]]
name = "CubicalTransport"

[[lean_exe]]
name = "cubical-test"
root = "CubicalTest"
# Phase C.3 smoke tests + Phase D.1 property tests on the
# Rust-backed cubical evaluator.  No GPU dependencies.
moreLinkArgs = [
  "./native/cubical/target/release/libtopolei_cubical.a",
]

[[lean_exe]]
name = "cubical-bench"
root = "CubicalBench"
# Phase D.2 performance benchmarks on the Rust-backed evaluator.
moreLinkArgs = [
  "./native/cubical/target/release/libtopolei_cubical.a",
]