From cfb779d3d6a1a338104d6b25add8f3a549ac0c30 Mon Sep 17 00:00:00 2001
From: Stefan Wallentowitz <stefan.wallentowitz@hm.edu>
Date: Sun, 18 Apr 2021 14:23:31 +0200
Subject: [PATCH] CI Lint with librecores github action linter

Add the librecores linter, that also does proper annotation to the
source code.
---
 .github/workflows/ci.yml   |  5 -----
 .github/workflows/lint.yml | 16 ++++++++++++++++
 serv.core                  |  2 ++
 3 files changed, 18 insertions(+), 5 deletions(-)
 create mode 100644 .github/workflows/lint.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index cb94fd3..5a8b3d0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -33,11 +33,6 @@ jobs:
         cd $SERV/workspace
         fusesoc library add serv $SERV
 
-    - name: lint
-      run: |
-        cd $SERV/workspace
-        fusesoc run --target=lint serv
-
     - name: build servant
       run: |
         cd $SERV/workspace
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
new file mode 100644
index 0000000..dc90821
--- /dev/null
+++ b/.github/workflows/lint.yml
@@ -0,0 +1,16 @@
+on: [push, pull_request]
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    name: Linter
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v1
+      - name: Lint Verilog source files with Verilator
+        uses: librecores/ci-fusesoc-action@master
+        with:
+          command: 'run'
+          core: 'serv'
+          target: 'lint'
+          tool: 'verilator'
diff --git a/serv.core b/serv.core
index 00f55b3..264da94 100644
--- a/serv.core
+++ b/serv.core
@@ -38,6 +38,8 @@ targets:
     tools:
       verilator:
         mode : lint-only
+        verilator_options:
+          - "-Wall"
     toplevel : serv_rf_top
 
 parameters: