diff --git a/wally-pipelined/lint-wally b/wally-pipelined/lint-wally index 59d6bf153..ed67dbab6 100755 --- a/wally-pipelined/lint-wally +++ b/wally-pipelined/lint-wally @@ -1,9 +1,11 @@ +#!/bin/bash # check for warnings in Verilog code # The verilator lint tool is faster and better than Modelsim so it is best to run this first. +basepath=$(dirname $0) for config in rv64ic rv32ic; do echo "$config linting..." - if !(verilator --lint-only "$@" --top-module wallypipelinedsoc "-Iconfig/$config" src/*/*.sv); then + if !(verilator --lint-only "$@" --top-module wallypipelinedsoc "-I$basepath/config/$config" $basepath/src/*/*.sv); then echo "Exiting after $config lint due to errors or warnings" exit 1 fi diff --git a/wally-pipelined/regression/regression-wally.py b/wally-pipelined/regression/regression-wally.py index 2b272e3b4..aa64424c7 100755 --- a/wally-pipelined/regression/regression-wally.py +++ b/wally-pipelined/regression/regression-wally.py @@ -36,6 +36,11 @@ configs = [ cmd="vsim > {} -c < {}", + grepstr="All lints run with no errors or warnings" + ), ] import multiprocessing, os