summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDavid Phillips <david@yeah.nah.nz>2021-10-31 12:29:46 +1300
committerDavid Phillips <david@yeah.nah.nz>2021-10-31 12:29:46 +1300
commitecef96f954302ec17cad5f7b9f8d613bbeb2718a (patch)
tree60638ee6bc6130cbaa333ef4eb454b8e08b71fcf
parent3687a78690bc3b6755c57bf0a96f5d7239989e24 (diff)
downloadcolorlight-5a-75e-blinky-ecef96f954302ec17cad5f7b9f8d613bbeb2718a.tar.xz
Enable icarus for linting
Out of icarus and verilator I'm not sure which way I'll go for simming, but I'll probably want to make the one I don't go with, optional for linting. For now, enable both.
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 4a9e3c1..e7433aa 100644
--- a/Makefile
+++ b/Makefile
@@ -14,6 +14,7 @@ clean:
lint:
verilator --lint-only $(OBJS)
+ iverilog -tnull $(OBJS)
program: $(TOP).svf
# probably not very useful to anyone without more configurable paths