Onur Özkan
62b18d5b2e
Replace argument recovery with direct build targets. Run host, target, board, coverage, Miri and selected Kani checks while retaining source identities, logs and artifacts, including failed attempts. Keep the PID proof diagnostic exception explicit and match its exact identity alongside passing contract assertions and covers. Validation: final-source verification matrix, assembled workflow tests and documentation build.
18 lines
553 B
Makefile
18 lines
553 B
Makefile
SHELL := /bin/sh
|
|
MAKEFLAGS += --no-print-directory
|
|
|
|
.DEFAULT_GOAL := help
|
|
.DELETE_ON_ERROR:
|
|
|
|
.PHONY: help run
|
|
|
|
help: ## Show configurator commands
|
|
@printf '%s\n' 'Configurator' '' \
|
|
'Start the local web application, then select the serial device in the browser:' \
|
|
' make configurator' '' \
|
|
'Command syntax from firmware/:' \
|
|
' cargo run --locked --offline -p kaptan-configurator -- [--source-system ID] [--serial PATH] [--baud RATE]'
|
|
|
|
run: ## Start the local configurator web application
|
|
cargo run --locked --offline -p kaptan-configurator
|