From 7ce706beedb59ee4f2f1a235c002558bff94c1e2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9o=20Zimmermann?= <theo.zimmermann@telecom-paris.fr>
Date: Mon, 16 Sep 2024 16:32:51 +0200
Subject: [PATCH] Simplify Docker image build.

In principle, the second command is not needed since coq-bot already depends on bot-components. Furthermore, since a few days, this second command seems to consistently trigger a timeout in our CI during the Docker build. So removing it could help fix this issue.
---
 release.Dockerfile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/release.Dockerfile b/release.Dockerfile
index 4d95bec0..d4fc4fd2 100644
--- a/release.Dockerfile
+++ b/release.Dockerfile
@@ -17,7 +17,6 @@ RUN opam install . --destdir /src/opam-install
 
 # Store the dynamic dependencies of the server
 RUN opam depext -ln coq-bot > /src/depexts-coq-bot
-RUN opam depext -ln bot-components > /src/depexts-bot-components
 
 
 FROM alpine:3.10 AS app
@@ -33,12 +32,10 @@ RUN apk update \
   && adduser coqbot -DG coqbot
 
 COPY --from=builder /src/depexts-coq-bot depexts-coq-bot
-COPY --from=builder /src/depexts-bot-components depexts-bot-components
 
 # Install the required dynamic dependencies
 RUN cat depexts-coq-bot | xargs apk --update add
-RUN cat depexts-bot-components | xargs apk --update add
 
 EXPOSE 8000
 
-CMD ["./bot.exe"]
\ No newline at end of file
+CMD ["./bot.exe"]