From a21b84e2ad395dc202a25dfb22dab4ff73273d3f Mon Sep 17 00:00:00 2001
From: Jarred Allen <jaallen@g.hmc.edu>
Date: Mon, 3 May 2021 17:32:05 -0400
Subject: [PATCH] Add lint to regression

---
 wally-pipelined/lint-wally                     | 4 +++-
 wally-pipelined/regression/regression-wally.py | 5 +++++
 2 files changed, 8 insertions(+), 1 deletion(-)

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 <<!\ndo wally-pipelined-batch.do ../config/rv64ic rv64ic\n!",
         grepstr="All tests ran without failures"
     ),
+    Config(
+        name="lints",
+        cmd="../lint-wally > {}",
+        grepstr="All lints run with no errors or warnings"
+    ),
 ]
 
 import multiprocessing, os