diff --git a/hw/application_fpga/core/picorv32/toolruns/Makefile b/hw/application_fpga/core/picorv32/toolruns/Makefile new file mode 100755 index 0000000..c09a2cf --- /dev/null +++ b/hw/application_fpga/core/picorv32/toolruns/Makefile @@ -0,0 +1,38 @@ +#=================================================================== +# +# Makefile +# -------- +# Makefile for linting the PicoRV32 core. +# +# +# Author: Joachim Strombergson +# Copyright (C) 2024 - Tillitis AB +# SPDX-License-Identifier: GPL-2.0-only +# +#=================================================================== + +TOP_SRC=../rtl/picorv32.v + +LINT = verilator +LINT_FLAGS = +1364-2005ext+ --lint-only -Wall -Wwarn-lint -Wno-fatal -Wno-DECLFILENAME --timescale 1ns/1ns + +all: lint + +lint: $(TOP_SRC) + $(LINT) $(LINT_FLAGS) $^ --top-module picorv32 > lint_issues.txt 2>&1 + + +clean: + rm lint_issues.txt + +help: + @echo "Build system for the PicoRV32" + @echo "" + @echo "Supported targets:" + @echo "------------------" + @echo "lint: Lint PicoRV32 source files." + @echo "clean: Delete all generated files." + +#=================================================================== +# EOF Makefile +#===================================================================