FPGA: Add core local Makefile for linting the PicoRV32

- Add more flags to catch the issues seen when linting the FPGA.
- Store issues in separate file for viewing. Remove with make clean.

Signed-off-by: Joachim Strömbergson <joachim@assured.se>

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
+#===================================================================