diff options
| author | Paul Selkirk <paul@psgd.org> | 2015-06-18 13:46:16 -0400 |
|---|---|---|
| committer | Paul Selkirk <paul@psgd.org> | 2015-06-18 13:46:16 -0400 |
| commit | 6fde50c9dd78be8662f7e84833d5c696b087ab9a (patch) | |
| tree | e70ec1a2f9b334b09cbe7e7d1bc865a984f56c4d /eim/build/Makefile | |
| parent | 80205a9ff9a8b4da93aa74d7b73f16832682384a (diff) | |
add support for verilator linting
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 |