Update dockerfile

pNre · Dec 29, 2023 · 46fdc07 · 46fdc07
1 parent c998068
commit 46fdc07
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -28,7 +28,7 @@ RUN sudo apt-get install -y libopencv-dev
 FROM base AS builder
 RUN mkdir /home/opam/hera
 WORKDIR /home/opam/hera
-RUN git clone https://github.com/pNre/Hera.git .
+COPY --chown=opam . .
 RUN eval `opam config env` && make
 
 FROM ubuntu:22.04