From af3683a610e677b1ede12cd91273dc521bde1b32 Mon Sep 17 00:00:00 2001 From: uvok Date: Sat, 27 Dec 2025 18:27:20 +0100 Subject: Add verilator linting --- Makefile | 3 +++ 1 file changed, 3 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index e241b34..214771e 100644 --- a/Makefile +++ b/Makefile @@ -53,6 +53,9 @@ clean: simu: $(PROGRAM).lxt2 gtkwave $< +lint: $(PROGRAM).v + verilator --lint-only -Wall -Wno-PROCASSINIT $(PROGRAM).v + ## Patterns # synthesize -- cgit v1.2.3