#!/bin/bash
# Copyright lowRISC contributors.
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
# SPDX-License-Identifier: Apache-2.0

# Run mypy to do Python linting on code that uses it

set -e

dirs_with_lint_makefile=(
    hw/ip/otbn/dv/rig
    hw/ip/otbn/dv/otbnsim
    hw/ip/otbn/util
    hw/ip/rom_ctrl/util
    util/reggen
)

retcode=0
for dir in "${dirs_with_lint_makefile[@]}"; do
    make -C "$dir" lint || {
        echo -n "##vso[task.logissue type=error]"
        echo "Failed mypy check in ${dir}."
        retcode=1
    }
done

exit $retcode