From 40bc83f10e9682f6759f114a0b958133da84b247 Mon Sep 17 00:00:00 2001 From: Tim Fischer Date: Fri, 30 Aug 2024 12:34:06 +0200 Subject: [PATCH] container: Try to install verilator with `apt-get` --- util/container/Dockerfile | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) 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/