[Cryptech-Commits] [core/hash/sha256] branch master updated: Updated Makefile with flags for cc. Added support for linting.

git at cryptech.is git at cryptech.is
Fri Apr 27 13:19:30 UTC 2018


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/hash/sha256.

The following commit(s) were added to refs/heads/master by this push:
     new 2008599  Updated Makefile with flags for cc. Added support for linting.
2008599 is described below

commit 2008599ef990313e6ec1c566ad2a3110a71033ff
Author: Joachim Strömbergson <joachim at secworks.se>
AuthorDate: Fri Apr 27 15:19:20 2018 +0200

    Updated Makefile with flags for cc. Added support for linting.
---
 toolruns/Makefile | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

diff --git a/toolruns/Makefile b/toolruns/Makefile
index 3853d73..c29566a 100755
--- a/toolruns/Makefile
+++ b/toolruns/Makefile
@@ -9,7 +9,7 @@
 # Author: Joachim Strombergson
 # Copyright (c) 2014, NORDUnet A/S
 # All rights reserved.
-# 
+#
 # Redistribution and use in source and binary forms, with or without
 # modification, are permitted provided that the following conditions are
 # met:
@@ -47,22 +47,31 @@ CORE_TB_SRC=../src/tb/tb_sha256_core.v
 TOP_SRC=../src/rtl/sha256.v $(CORE_SRC)
 TOP_TB_SRC=../src/tb/tb_sha256.v
 
+
 CC=iverilog
+CC_FLAGS = -Wall
+
+LINT=verilator
+LINT_FLAGS = +1364-2001ext+ --lint-only  -Wall -Wno-fatal -Wno-DECLFILENAME
 
 
 all: top core wmem
 
 
 top: $(TOP_TB_SRC) $(TOP_SRC)
-	$(CC) -o top.sim $(TOP_TB_SRC) $(TOP_SRC)
+	$(CC) $(CC_FLAGS) -o top.sim $(TOP_TB_SRC) $(TOP_SRC)
 
 
 core: $(CORE_TB_SRC) $(CORE_SRC)
-	$(CC) -o core.sim $(CORE_SRC) $(CORE_TB_SRC)
+	$(CC) $(CC_FLAGS) -o core.sim $(CORE_SRC) $(CORE_TB_SRC)
 
 
 wmem: $(WMEM_SRC) $(WMEM_TB_SRC)
-	$(CC) -o wmem.sim $(WMEM_SRC) $(WMEM_TB_SRC)
+	$(CC) $(CC_FLAGS) -o wmem.sim $(WMEM_SRC) $(WMEM_TB_SRC)
+
+
+lint:   $(TOP_SRC)
+	$(LINT) $(LINT_FLAGS) $(TOP_SRC)
 
 
 sim-top: top.sim
@@ -103,4 +112,3 @@ help:
 #===================================================================
 # EOF Makefile
 #===================================================================
-

-- 
To stop receiving notification emails like this one, please contact
the administrator of this repository.


More information about the Commits mailing list