From 0c26ee5f71680711ee0377ccf3417ae8fe873e7d Mon Sep 17 00:00:00 2001 From: "Bobby R. Bruce" Date: Wed, 14 Aug 2024 14:08:44 -0700 Subject: [PATCH] util-docker: Replace gem5 v24.0 clone with wget This is more efficient. Change-Id: Idd57343183a8667425dbc036ad0c7c18581898f5 --- util/dockerfiles/devcontainer/Dockerfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/util/dockerfiles/devcontainer/Dockerfile b/util/dockerfiles/devcontainer/Dockerfile index d85a681008..105b67dedc 100644 --- a/util/dockerfiles/devcontainer/Dockerfile +++ b/util/dockerfiles/devcontainer/Dockerfile @@ -40,7 +40,8 @@ # there is a pre-built gem5 binary in each devcontainer. This can save time # if the container is used for education or demonstration purposes. FROM ghcr.io/gem5/ubuntu-24.04_all-dependencies:latest as builder -RUN git clone --branch v24.0 https://github.com/gem5/gem5 +RUN wget https://github.com/gem5/gem5/archive/refs/tags/v24.0.tar.gz && \ + tar xzf v24.0.tar.gz && mv gem5-24.0 gem5 && rm v24.0.tar.gz WORKDIR /gem5 RUN scons build/ALL/gem5.opt -j`nproc` RUN scons defconfig build/ALL_CHI build_opts/ALL && \