From f755827c9079ab65f293897c2859f4399ab2b6fa Mon Sep 17 00:00:00 2001
From: bbracker <bbracker@hmc.edu>
Date: Mon, 24 May 2021 18:11:56 -0400
Subject: [PATCH] slightly more path independence for using verilator

---
 wally-pipelined/lint-wally | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/wally-pipelined/lint-wally b/wally-pipelined/lint-wally
index 47a43235..d741d368 100755
--- a/wally-pipelined/lint-wally
+++ b/wally-pipelined/lint-wally
@@ -1,7 +1,8 @@
 #!/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.
-verilator="/usr/local/bin/verilator"
+export PATH=$PATH:/usr/local/bin/
+verilator=`which verilator`
 
 basepath=$(dirname $0)
 for config in rv64ic rv32ic; do