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 /i2c/build/Makefile | |
| parent | 80205a9ff9a8b4da93aa74d7b73f16832682384a (diff) | |
add support for verilator linting
Diffstat (limited to 'i2c/build/Makefile')
| -rw-r--r-- | i2c/build/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/i2c/build/Makefile b/i2c/build/Makefile index d881820..b383078 100644 --- a/i2c/build/Makefile +++ b/i2c/build/Makefile @@ -46,3 +46,6 @@ vfiles = \ ../../../../cipher/chacha/src/rtl/chacha_qr.v include xilinx.mk + +lint: + verilator --lint-only --top-module novena_top -Wall -Wno-fatal -Wno-DECLFILENAME $(vfiles) ../../common/rtl/lint-dummy.v |