fix: Remove VOLUME ["/build"], Use default build-dir in Docker packaging

- as externalizing the build-dir in a volume looks unneeded:
  if the build-dir is shared, but the container is deleted,
  the www is deleted as well, and the exercices are rebuilt anyway

- and as an extra volume would add more noise (mandating "-v args" tweaks)

Author: erikmd

Dockerfile

@@ -55,8 +55,6 @@ RUN apk update \
 VOLUME ["/repository"]
 RUN mkdir -p /sync && chown learn-ocaml:learn-ocaml /sync
 VOLUME ["/sync"]
-RUN mkdir -p /build && chown learn-ocaml:learn-ocaml /build
-VOLUME ["/build"]
 EXPOSE 8080
 EXPOSE 8443
 
@@ -81,5 +79,5 @@ ENV OCAMLPATH="/usr/lib"
 RUN ln -sf "$opam_switch/lib/vg" "/usr/lib"
 RUN ln -sf "$opam_switch/lib/gg" "/usr/lib"
 
-ENTRYPOINT ["dumb-init","/usr/bin/learn-ocaml","--sync-dir=/sync","--repo=/repository","--build-dir=/build"]
+ENTRYPOINT ["dumb-init","/usr/bin/learn-ocaml","--sync-dir=/sync","--repo=/repository"]
 CMD ["build","serve"]

Dockerfile.test-server

@@ -61,8 +61,6 @@ RUN apk update \
 VOLUME ["/repository"]
 RUN mkdir -p /sync && chown learn-ocaml:learn-ocaml /sync
 VOLUME ["/sync"]
-RUN mkdir -p /build && chown learn-ocaml:learn-ocaml /build
-VOLUME ["/build"]
 EXPOSE 8080
 EXPOSE 8443
 
@@ -75,5 +73,5 @@ COPY --from=compilation /home/opam/install-prefix /usr
 COPY --from=compilation "$opam_switch/bin"/ocaml* "$opam_switch/bin/"
 COPY --from=compilation "$opam_switch/lib/ocaml" "$opam_switch/lib/ocaml/"
 
-ENTRYPOINT ["dumb-init","/usr/bin/learn-ocaml","--sync-dir=/sync","--repo=/repository","--build-dir=/build"]
+ENTRYPOINT ["dumb-init","/usr/bin/learn-ocaml","--sync-dir=/sync","--repo=/repository"]
 CMD ["build","serve"]