From 6d9fc7db118b6428a9f4db9d499bdbda0b0c975b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Joachim=20Str=C3=B6mbergson?= <joachim@assured.se>
Date: Mon, 17 Jun 2024 11:07:24 +0200
Subject: [PATCH] FPGA: Add core local Makefile for linting the PicoRV32
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

- 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>
---
 .../core/picorv32/toolruns/Makefile           | 38 +++++++++++++++++++
 1 file changed, 38 insertions(+)
 create mode 100755 hw/application_fpga/core/picorv32/toolruns/Makefile

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