From 75259db2b6f4dca913ce7ae74ba732ab5e4413b4 Mon Sep 17 00:00:00 2001 From: Shuo Ding Date: Thu, 27 Jul 2023 23:33:00 -0400 Subject: [PATCH] edit dockerfile --- Dockerfile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Dockerfile b/Dockerfile index dac8ddc..883ac31 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,6 +1,6 @@ FROM ubuntu:20.04 -COPY exp /app -COPY Makefile /app -COPY run.py /app -COPY src /app +COPY exp /app/exp/ +COPY Makefile /app/ +COPY run.py /app/ +COPY src /app/src/ RUN apt update && apt -y install build-essential