.PHONY: generate test run benchmark

generate:
	lean -o Compiler.olean Compiler.lean
	lean --run Compiler.lean rust/generated.rs

test: generate
	LEAN_PATH=. lean tests/ProofAudit.lean
	cargo test --all-targets --features rayon --locked

run: generate
	cargo run --release --locked --bin generated-transit -- auto

benchmark: generate
	RAYON_NUM_THREADS=4 cargo run --release --features rayon --locked --bin routing-benchmark
