From 56e256baa55bbd0a6891c710002401d69a4fb1cf Mon Sep 17 00:00:00 2001 From: Thomas Fleming Date: Tue, 30 Mar 2021 22:42:28 -0400 Subject: [PATCH] Extend lint-wally to lint both rv32 and rv64 --- wally-pipelined/lint-wally | 3 +++ 1 file changed, 3 insertions(+) diff --git a/wally-pipelined/lint-wally b/wally-pipelined/lint-wally index f90a1010e..9d5a20ba2 100755 --- a/wally-pipelined/lint-wally +++ b/wally-pipelined/lint-wally @@ -1,7 +1,10 @@ # check for warnings in Verilog code # The verilator lint tool is faster and better than Modelsim so it is best to run this first. +echo "rv64ic linting..." verilator --lint-only --top-module wallypipelinedsoc -Iconfig/rv64ic src/*/*.sv +echo "rv32ic linting..." +verilator --lint-only --top-module wallypipelinedsoc -Iconfig/rv32ic src/*/*.sv #verilator --lint-only --top-module wallypipelinedsoc -Iconfig/rv64ic src/*/*.sv src/*/div/*.sv # --lint-only just runs lint rather than trying to compile and simulate