aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--toolruns/Makefile15
1 files changed, 13 insertions, 2 deletions
diff --git a/toolruns/Makefile b/toolruns/Makefile
index 4e699ee..b2b8e68 100644
--- a/toolruns/Makefile
+++ b/toolruns/Makefile
@@ -40,14 +40,22 @@
CORE_SRC=../src/rtl/avalanche_entropy_core.v
TOP_SRC=../src/rtl/avalanche_entropy.v
-CC=iverilog
+CC = iverilog
+CC_FLAGS = -Wall
+
+LINT= verilator
+LINT_FLAGS = +1364-2001ext+ --lint-only -Wall -Wno-fatal -Wno-DECLFILENAME
all: top
top: $(TOP_SRC) $(CORE_SRC)
- $(CC) -o top $(TOP_SRC) $(CORE_SRC)
+ $(CC) $(CC_FLAGS) -o top $(TOP_SRC) $(CORE_SRC)
+
+
+lint: $(TOP_SRC)
+ $(LINT) $(LINT_FLAGS) $(TOP_SRC) $(CORE_SRC)
clean:
@@ -59,6 +67,9 @@ help:
@echo ""
@echo "Supported targets:"
@echo "------------------"
+ @echo "all: Build all simulation targets."
+ @echo "top: Build the top imulation target."
+ @echo "lint: Run the linter on the source."
@echo "clean: Delete all built files."
#===================================================================