# Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved. # SPDX-License-Identifier: MIT-0 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