From 92790f3b539f275a060ca6bd4e2d91a9e5b13718 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joachim=20Stro=CC=88mbergson?= <joachim@secworks.se>
Date: Fri, 22 May 2015 10:31:32 +0200
Subject: Adding target for linting the trng.

---
 toolruns/Makefile | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'toolruns')

diff --git a/toolruns/Makefile b/toolruns/Makefile
index 4d6b9ef..b4d8924 100644
--- a/toolruns/Makefile
+++ b/toolruns/Makefile
@@ -54,8 +54,8 @@ TRNG_SRC=../src/rtl/trng.v $(MIXER_SRC) $(SHA512_SRC) $(CSPRNG_SRC) $(CHACHA_SRC
 TB_TRNG_SRC=../src/tb/tb_trng.v
 FAKE_ENTROPY_SRC=../src/tb/fake_modules/avalanche_entropy.v ../src/tb/fake_modules/pseudo_entropy.v ../src/tb/fake_modules/rosc_entropy.v
 
-CC=iverilog
-
+CC =iverilog
+LINT = verilator -Wall --lint-only
 
 all: trng.sim mixer.sim csprng.sim csprng_fifo.sim
 
@@ -92,6 +92,13 @@ sim-trng: trng.sim
 	./trng.sim
 
 
+lint:
+	@echo "NOTE: Does not lint rosc and avalance noise sources."
+	@echo ""
+	$(LINT) $(CSPRNG_SRC) $(CHACHA_SRC)
+	$(LINT) $(MIXER_SRC) $(SHA512_SRC)
+
+
 clean:
 	rm -f csprng_fifo.sim
 	rm -f csprng.sim
-- 
cgit v1.2.3