diff options
| -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 #=================================================================== - |