#! /bin/sh
#
# SPDX-License-Identifier: GPL-2.0-or-later
#
# PASST - Plug A Simple Socket Transport
#  for qemu/UNIX domain socket mode
#
# PASTA - Pack A Subtle Tap Abstraction
#  for network namespace/tap device mode
#
# test/build/static_checkers.sh - Run static checkers
#
# Copyright Red Hat
# Author: David Gibson <david@gibson.dropbear.id.au>

. $(dirname $0)/../exeter/sh/exeter.sh

do_check() {
	checker="$1"
	shift
	if ! which "${checker}"; then
		exeter_skip "${checker} not available"
	fi
	make "${@}" "${checker}"
}

exeter_register cppcheck do_check cppcheck -C ..
exeter_set_description cppcheck "passt sources pass cppcheck"

exeter_register clang_tidy do_check clang-tody -C ..
exeter_set_description clang_tidy "passt sources pass clang-tidy"

exeter_register flake8 do_check flake8
exeter_set_description flake8 "passt tests in Python pass flake8"

exeter_register mypy do_check mypy
exeter_set_description mypy "passt tests in Python pass mypy --strict"

exeter_main "$@"