From a8d4be441e88e48245f4585b5cd270f32365e888 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Thu, 11 Jul 2024 08:54:47 +0100 Subject: [PATCH] Update benchmark dockerfile --- benchmark/Dockerfile | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/benchmark/Dockerfile b/benchmark/Dockerfile index 85eede652..b09979b06 100644 --- a/benchmark/Dockerfile +++ b/benchmark/Dockerfile @@ -1,10 +1,8 @@ FROM python:3.10-slim RUN apt-get update RUN apt-get install -y less git build-essential -COPY requirements.txt /aider/requirements.txt -COPY dev-requirements.txt /aider/dev-requirements.txt +COPY requirements-dev.txt /aider/requirements-dev.txt RUN pip install --no-cache-dir --upgrade pip -RUN pip install --no-cache-dir -r /aider/requirements.txt -RUN pip install --no-cache-dir -r /aider/dev-requirements.txt +RUN pip install --no-cache-dir -r /aider/requirements-dev.txt RUN git config --global --add safe.directory /aider WORKDIR /aider