Makefile

# zkir-crypto Top-Level Makefile
# Orchestrates Rocq verification, code generation, and Rust compilation

.PHONY: all coq generate rust test bench clean help

# Default target
all: coq rust

# Build all Rocq proofs
coq:
	@echo "==> Building Rocq proofs..."
	cd coq && $(MAKE) all

# Generate Rust code from Rocq proofs
generate: coq
	@echo "==> Generating Rust code from Rocq..."
	@mkdir -p rust/src/generated/gadgets
	@mkdir -p rust/src/generated/crypto
	python3 scripts/generate_all.py

# Build Rust library
rust:
	@echo "==> Building Rust library..."
	cd rust && cargo build --release

# Run all tests
test: rust
	@echo "==> Running Rust tests..."
	cd rust && cargo test

# Run benchmarks
bench: rust
	@echo "==> Running benchmarks..."
	cd rust && cargo bench

# Clean all build artifacts
clean:
	@echo "==> Cleaning Coq artifacts..."
	cd coq && $(MAKE) clean || true
	@echo "==> Cleaning Rust artifacts..."
	cd rust && cargo clean || true
	@echo "==> Cleaning generated code..."
	find rust/src/generated -name "*.rs" ! -name "mod.rs" -delete

# Development targets
.PHONY: check fmt clippy doc

# Check Rust code (fast compile check)
check:
	@echo "==> Checking Rust code..."
	cd rust && cargo check

# Format Rust code
fmt:
	@echo "==> Formatting Rust code..."
	cd rust && cargo fmt

# Run Clippy lints
clippy:
	@echo "==> Running Clippy..."
	cd rust && cargo clippy -- -D warnings

# Generate documentation
doc:
	@echo "==> Generating documentation..."
	cd rust && cargo doc --no-deps --open

# Help target
help:
	@echo "zkir-crypto Build System"
	@echo ""
	@echo "Targets:"
	@echo "  all       - Build Rocq proofs and Rust library (default)"
	@echo "  coq       - Build all Rocq proofs"
	@echo "  generate  - Generate Rust code from Rocq proofs"
	@echo "  rust      - Build Rust library"
	@echo "  test      - Run all tests"
	@echo "  bench     - Run benchmarks"
	@echo "  clean     - Clean all build artifacts"
	@echo ""
	@echo "Development:"
	@echo "  check     - Fast Rust compilation check"
	@echo "  fmt       - Format Rust code"
	@echo "  clippy    - Run Rust linter"
	@echo "  doc       - Generate and open documentation"
	@echo ""
	@echo "Directory structure:"
	@echo "  coq/      - Rocq/Coq verification"
	@echo "  rust/     - Rust implementation"
	@echo "  docs/     - Documentation"