| # SPDX-License-Identifier: LicenseRef-Sovereign-Leviathan-SL-AGPL3-001 | |
| # Copyright (C) 2026 SNAPKITTYWEST / Sovereign Kernel Project | |
| # CLONE_GATE: sparse-router-formal::makefile | |
| CC := gcc | |
| CFLAGS := -O2 -Wall -Wextra -Wpedantic -std=c11 | |
| .PHONY: all test bench verify clone-gate-check clean | |
| all: build/router build/test_router | |
| build/router: c-reference/main.c c-reference/router.h c-reference/types.h c-reference/scoring.h c-reference/deque.h | |
| @mkdir -p build | |
| $(CC) $(CFLAGS) -I c-reference -o $@ c-reference/main.c | |
| build/test_router: c-reference/tests/test_router.c c-reference/router.h | |
| @mkdir -p build | |
| $(CC) $(CFLAGS) -I c-reference -o $@ c-reference/tests/test_router.c | |
| test: build/test_router | |
| ./build/test_router | |
| bench: build/router | |
| ./build/router | |
| test-rust: | |
| cd rust/tensor-hw && cargo test | |
| verify: | |
| cd formal && lake build | |
| clone-gate-check: | |
| @bash scripts/clone_gate_verify.sh | |
| clean: | |
| rm -rf build/ | |