From 2b8d2175774a4f1719c5d847dbf012dfe7b23f62 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joachim=20Stro=CC=88mbergson?= Date: Fri, 27 Apr 2018 10:20:32 +0200 Subject: Added proper cc flags and lint flags. Cleaned up rules a bit. --- toolruns/Makefile | 11 +++++++---- 1 file 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 -- cgit v1.2.3