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.
27 lines
492 B
Makefile
27 lines
492 B
Makefile
SHELL := /bin/sh
|
|
MAKEFLAGS += --no-print-directory
|
|
|
|
.DEFAULT_GOAL := help
|
|
.DELETE_ON_ERROR:
|
|
|
|
.PHONY: help build test check clean
|
|
|
|
help:
|
|
@printf '%s\n' 'Usage: make -C docs build|test|check|clean' '' \
|
|
' build Build the book' \
|
|
' test Test book examples' \
|
|
' check Test and build the book' \
|
|
' clean Remove generated documentation' '' \
|
|
'For other options, run mdbook directly from docs/.'
|
|
|
|
build:
|
|
mdbook build
|
|
|
|
test:
|
|
mdbook test
|
|
|
|
check: test build
|
|
|
|
clean:
|
|
mdbook clean
|