commit aa193f9fc0cf357d6ea51d274cda55f6f61611a2
author Michael Schaffner <msf@opentitan.org> Wed Dec 16 11:16:17 2020 -0800
committer Michael Schaffner <msf@google.com> Mon Dec 21 12:17:09 2020 -0800
tree 4020c37b87deb3769e60c0f19cc50b75cf10f348
parent 498deab4e349a96aea17cef3aa78c26b4570b1ad

[lint] Add tool version check for Veriblelint

Signed-off-by: Michael Schaffner <msf@opentitan.org>

azure-pipelines.yml

diff --git a/azure-pipelines.yml b/azure-pipelines.yml
index 410f17c..5e75dd8 100644
--- a/azure-pipelines.yml
+++ b/azure-pipelines.yml
@@ -40,15 +40,6 @@
     displayName: Remove existing Clang installation
   - template: ci/install-package-dependencies.yml
   - bash: |
-      set -e
-      mkdir -p build/verible
-      cd build/verible
-      curl -Ls -o verible.tar.gz "https://github.com/google/verible/releases/download/$(VERIBLE_VERSION)/verible-$(VERIBLE_VERSION)-Ubuntu-$(lsb_release -sr)-$(lsb_release -sc)-x86_64.tar.gz"
-      sudo mkdir -p /tools/verible && sudo chmod 777 /tools/verible
-      tar -C /tools/verible -xf verible.tar.gz --strip-components=1
-      echo "##vso[task.setvariable variable=PATH]/tools/verible/bin:$PATH"
-    displayName: Install Verible
-  - bash: |
       set -x
       python3 --version
       yapf --version
@@ -58,6 +49,7 @@
       ninja --version
       meson --version
       doxygen --version
+      verible-verilog-lint --version
       echo "PATH=$PATH"
       printenv
     displayName: Display environment information
@@ -332,6 +324,7 @@
       python3 --version
       fusesoc --version
       verilator --version
+      verible-verilog-lint --version
     displayName: Display environment
   - bash: |
       . util/build_consts.sh