diff options
| author | Joachim StroĢmbergson <joachim@secworks.se> | 2018-04-27 15:19:20 +0200 |
|---|---|---|
| committer | Joachim StroĢmbergson <joachim@secworks.se> | 2018-04-27 15:19:20 +0200 |
| commit | 2008599ef990313e6ec1c566ad2a3110a71033ff (patch) | |
| tree | 5a6ad4d9d80a3523ed80db2b2055caca26207030 /toolruns/Makefile | |
| parent | c894f78a95a01351f277c3d36bcf6dced08798e2 (diff) | |
Updated Makefile with flags for cc. Added support for linting.
Diffstat (limited to 'toolruns/Makefile')
| -rwxr-xr-x | toolruns/Makefile | 18 |
1 files 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 #=================================================================== - |