29 lines
828 B
Makefile
29 lines
828 B
Makefile
# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
|
|
# SPDX-License-Identifier: MIT
|
|
|
|
SHELL := /bin/bash
|
|
DIRS := strnAppend
|
|
DIRS += Jobs_Describe Jobs_GetPending Jobs_StartNext Jobs_Update Jobs_GetTopic
|
|
DIRS += strnEq
|
|
DIRS += Jobs_MatchTopic
|
|
|
|
PROOF_COMMANDS := cbmc goto-cc goto-instrument goto-analyzer cbmc-viewer
|
|
SHELL_COMMANDS := mawk sed w3m
|
|
|
|
# run all the proofs in ascending dependency order
|
|
# and show a summary page for each
|
|
all: precheck clean
|
|
for d in $(DIRS); do \
|
|
echo -n $$d; \
|
|
time make -C $$d 2>&1 | mawk -W interactive 'NR % 30 == 0 {printf "."}'; echo; \
|
|
w3m -cols 120 -dump $$d/html/html/index.html | sed 's/^/ /'; \
|
|
done
|
|
|
|
clean:
|
|
for d in $(DIRS); do make -C $$d cleanclean >/dev/null 2>&1; done
|
|
|
|
precheck:
|
|
@hash $(PROOF_COMMANDS) $(SHELL_COMMANDS)
|
|
|
|
.PHONY: all clean precheck
|