From 26aae5c1dd4277a83a4271a49d86c51002afd852 Mon Sep 17 00:00:00 2001
From: Luca Colagrande <luca.colagrande3@gmail.com>
Date: Thu, 3 Oct 2024 20:58:23 +0200
Subject: [PATCH] treewide: Remove verible, unused in Snitch

---
 target/common/common.mk   | 1 -
 util/container/Dockerfile | 7 -------
 2 files changed, 8 deletions(-)

diff --git a/target/common/common.mk b/target/common/common.mk
index cc41e85e5..d6ae8e3a8 100644
--- a/target/common/common.mk
+++ b/target/common/common.mk
@@ -24,7 +24,6 @@ VERILATOR_SEPP ?=
 BENDER       ?= bender
 VLT          ?= $(VERILATOR_SEPP) verilator
 VCS          ?= $(VCS_SEPP) vcs
-VERIBLE_FMT  ?= verible-verilog-format
 CLANG_FORMAT ?= clang-format
 VSIM         ?= $(QUESTA_SEPP) vsim
 VOPT         ?= $(QUESTA_SEPP) vopt
diff --git a/util/container/Dockerfile b/util/container/Dockerfile
index 4cd5c8ea5..7605d331d 100644
--- a/util/container/Dockerfile
+++ b/util/container/Dockerfile
@@ -12,7 +12,6 @@ ARG UBUNTU_VERSION=22.04
 FROM ubuntu:${UBUNTU_VERSION} AS builder
 ARG BENDER_VERSION=0.28.1
 ARG DOXYGEN_VERSION=1.12.0
-ARG VERIBLE_VERSION=0.0-3318-g8d254167
 ARG SNITCH_LLVM_VERSION=latest
 ARG RUST_VERSION=1.63.0
 ARG UBUNTU_VERSION
@@ -47,11 +46,6 @@ WORKDIR /tools
 RUN wget https://github.com/pulp-platform/bender/releases/download/v${BENDER_VERSION}/bender-${BENDER_VERSION}-x86_64-linux-gnu-ubuntu${UBUNTU_VERSION}.tar.gz && \
     tar xzf bender-${BENDER_VERSION}-x86_64-linux-gnu-ubuntu${UBUNTU_VERSION}.tar.gz
 
-# Install Verible
-RUN wget https://github.com/chipsalliance/verible/releases/download/v${VERIBLE_VERSION}/verible-v${VERIBLE_VERSION}-linux-static-x86_64.tar.gz && \
-    tar -x -f verible-v${VERIBLE_VERSION}-linux-static-x86_64.tar.gz --strip-components=1 -C . && \
-    rm -rf verible-v${VERIBLE_VERSION}-linux-static-x86_64.tar.gz
-
 # Install Doxygen
 RUN wget https://www.doxygen.nl/files/doxygen-${DOXYGEN_VERSION}.linux.bin.tar.gz && \
     tar xzf doxygen-${DOXYGEN_VERSION}.linux.bin.tar.gz && \
@@ -111,7 +105,6 @@ RUN ${VIRTUAL_ENV}/bin/pip install --upgrade pip && \
 COPY --from=builder /tools/bender /tools/bin/
 # COPY --from=builder /root/.cargo/bin/banshee /tools/bin/
 COPY --from=builder /tools/doxygen/bin/doxygen /tools/bin/
-COPY --from=builder /tools/verible* /tools/bin/
 COPY --from=builder /tools/riscv-llvm /tools/riscv-llvm
 
 # Modify environment and path variables