[Cryptech-Commits] [core/rng/trng] 01/02: Adding target for linting the trng.

[git at cryptech.is]

This is an automated email from the git hooks/post-receive script.

joachim at secworks.se pushed a commit to branch master
in repository core/rng/trng.

commit 92790f3b539f275a060ca6bd4e2d91a9e5b13718
Author: Joachim Strömbergson <joachim at secworks.se>
Date:   Fri May 22 10:31:32 2015 +0200

    Adding target for linting the trng.
---
 toolruns/Makefile | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

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