aboutsummaryrefslogtreecommitdiff
path: root/toolruns/Makefile
diff options
context:
space:
mode:
authorJoachim StroĢˆmbergson <joachim@secworks.se>2018-04-27 10:20:32 +0200
committerJoachim StroĢˆmbergson <joachim@secworks.se>2018-04-27 10:20:32 +0200
commit2b8d2175774a4f1719c5d847dbf012dfe7b23f62 (patch)
tree851395bc4c91a598ba5f810e7406447e03f0c198 /toolruns/Makefile
parent44ef1a541c44b0f47a73ac106d208cf3e4f5e132 (diff)
Added proper cc flags and lint flags. Cleaned up rules a bit.
Diffstat (limited to 'toolruns/Makefile')
-rwxr-xr-xtoolruns/Makefile11
1 files changed, 7 insertions, 4 deletions
diff --git a/toolruns/Makefile b/toolruns/Makefile
index aadbb0e..5d395b7 100755
--- a/toolruns/Makefile
+++ b/toolruns/Makefile
@@ -47,26 +47,29 @@ TOP_SRC=../src/rtl/sha1.v $(CORE_SRC)
TOP_TB_SRC=../src/tb/tb_sha1.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)
- verilator --lint-only -Wall -Wno-fatal -Wno-DECLFILENAME $(TOP_SRC)
+ $(LINT) $(LINT_FLAGS) $(TOP_SRC)
sim-top: top.sim