diff --git a/util/container/Dockerfile b/util/container/Dockerfile index 6411bc0e5f..a2482b668a 100644 --- a/util/container/Dockerfile +++ b/util/container/Dockerfile @@ -59,15 +59,6 @@ ENV PATH="/root/.cargo/bin:${PATH}" RUN rustup install 1.70.0 RUN rustup override set 1.70.0 -# Build Verilator -RUN git clone https://github.com/verilator/verilator && \ - cd verilator && \ - git checkout "v${VERILATOR_VERSION}" && \ - autoconf && \ - ./configure --prefix /tools/verilator && \ - make && \ - make install - # Change working directory WORKDIR /tools @@ -145,6 +136,9 @@ RUN apt-get update && apt-get install software-properties-common -y && \ apt-get update && \ apt-get install git -y +# Install Verilator +RUN apt-get install -y verilator=${VERILATOR_VERSION} + # Copy artifacts from stage 1. COPY --from=builder /tools/bender bin/ COPY --from=builder /root/.cargo/bin/banshee bin/