Dockerfile

FROM ubuntu:jammy

WORKDIR /tmp

# Baseline apt-get installs
ARG DEBIAN_FRONTEND=noninteractive
RUN apt-get update \
    && apt-get install --no-install-recommends -y \
        apt-transport-https \
        autoconf \
        bc \
        bison \
        ca-certificates \
        ccache \
        curl \
        flex \
        g++ \
        git \
        gnupg \
        help2man \
        libfl2 \
        libfl-dev \
        libgoogle-perftools-dev \
        make \
        numactl \
        perl \
        perl-doc \
        python3-dev \
        python3-pip \
        wget \
        zlib1g \
        zlib1g-dev \
    && apt-get clean \
    && rm -rf /var/lib/apt/lists/*

# Add Bazel distribution URI as a package source
RUN curl -fsSL https://bazel.build/bazel-release.pub.gpg | gpg --dearmor >bazel-archive-keyring.gpg \
    && mv bazel-archive-keyring.gpg /usr/share/keyrings \
    && echo "deb [arch=amd64 signed-by=/usr/share/keyrings/bazel-archive-keyring.gpg] https://storage.googleapis.com/bazel-apt stable jdk1.8" | tee /etc/apt/sources.list.d/bazel.list

# Install Bazel
RUN apt-get update \
    && apt-get install --no-install-recommends -y \
        bazel \
    && apt-get clean \
    && rm -rf /var/lib/apt/lists/*

# Install python packages using poetry
RUN pip3 install poetry
COPY pyproject.toml ./
RUN poetry config virtualenvs.create false
RUN poetry install -n --no-ansi

# Build and install Verilator v5.024 from source
ARG REPO=https://github.com/verilator/verilator
ARG TAG=v5.024
RUN git clone --depth 1 --branch "${TAG}" "${REPO}" verilator \
    && cd verilator \
    && autoconf \
    && ./configure \
    && make -j$(nproc) \
    && make install \
    && cd .. \
    && rm -rf verilator

# Install Verible
ARG VERIBLE_URL=https://github.com/chipsalliance/verible/releases/download/v0.0-3648-g5ef1624a/verible-v0.0-3648-g5ef1624a-linux-static-x86_64.tar.gz
RUN wget ${VERIBLE_URL} -O verible.tar.gz \
    && mkdir verible \
    && tar -xf verible.tar.gz -C verible --strip-components=1 \
    && cp -r verible/bin/* /usr/local/bin \
    && rm -rf verible verible.tar.gz

WORKDIR /root
CMD /bin/bash