diff options
Diffstat (limited to 'eim/build/Makefile')
| -rw-r--r-- | eim/build/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/eim/build/Makefile b/eim/build/Makefile index 7bb4ffd..5fd3f2a 100644 --- a/eim/build/Makefile +++ b/eim/build/Makefile @@ -69,3 +69,6 @@ vfiles = \ ../../../../math/modexp/src/rtl/shr32.v include xilinx.mk + +lint: + verilator --lint-only --top-module novena_top -Wall -Wno-fatal -Wno-DECLFILENAME $(vfiles) ../../common/rtl/lint-dummy.v |