33# The verilator lint tool is faster and better than Questa so it is best to run this first.
44# SPDX-License-Identifier: Apache-2.0 WITH SHL-2.1
55
6- export PATH=$PATH :/usr/local/bin/
7- verilator=` which verilator`
6+ verilator=$( which verilator)
87
9- basepath=$( dirname $0 ) /..
8+ basepath=$( dirname " $0 " ) /..
109RED=' \033[0;31m'
1110GREEN=' \033[0;32m'
1211NC=' \033[0m' # No Color
1312fails=0
1413
1514if [ " $1 " == " --nightly" ]; then
1615 configs=(rv32e rv64gc rv32gc rv32imc rv32i rv64i)
17- derivconfigs=` ls $WALLY /config/deriv`
16+ derivconfigs=$( ls " $WALLY " /config/deriv)
1817 for entry in $derivconfigs
1918 do
2019 if [[ $entry != * " syn_sram" * ]]; then # ignore syn_sram* configs that contain undefined module
2726
2827for config in ${configs[@]} ; do
2928# echo "$config linting..."
30- if ! ($verilator --lint-only --quiet --top-module wallywrapper \
29+ if ! ($verilator --lint-only --quiet --top-module wallywrapper \
3130 " -I$basepath /config/shared" " -I$basepath /config/$config " " -I$basepath /config/deriv/$config " \
3231 $basepath /src/cvw.sv $basepath /testbench/wallywrapper.sv $basepath /src/* /* .sv $basepath /src/* /* /* .sv \
3332 -Wall -Wno-UNUSEDSIGNAL -Wno-VARHIDDEN -Wno-GENUNNAMED -Wno-PINCONNECTEMPTY); then
@@ -43,10 +42,10 @@ for config in ${configs[@]}; do
4342 fi
4443done
4544if [ $fails -gt 0 ]; then
46- echo -e " ${RED} Linting failed for $fails of ${# configs[@]} configurations"
45+ echo -e " ${RED} Linting failed for $fails of ${# configs[@]} configurations${NC} "
4746 exit 1
4847fi
49- echo -e " ${GREEN} All ${# configs[@]} lints run with no errors or warnings"
48+ echo -e " ${GREEN} All ${# configs[@]} lints run with no errors or warnings${NC} "
5049
5150# --lint-only just runs lint rather than trying to compile and simulate
5251# -I points to the include directory where files such as `include config.vh are found
0 commit comments