diff options
| author | Joachim StroĢmbergson <joachim@secworks.se> | 2018-04-27 10:20:32 +0200 |
|---|---|---|
| committer | Joachim StroĢmbergson <joachim@secworks.se> | 2018-04-27 10:20:32 +0200 |
| commit | 2b8d2175774a4f1719c5d847dbf012dfe7b23f62 (patch) | |
| tree | 851395bc4c91a598ba5f810e7406447e03f0c198 | |
| parent | 44ef1a541c44b0f47a73ac106d208cf3e4f5e132 (diff) | |
Added proper cc flags and lint flags. Cleaned up rules a bit.
| -rwxr-xr-x | toolruns/Makefile | 11 |
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 |