diff --git a/dev/docker/Dockerfile b/dev/docker/Dockerfile index 3e44f1dcbcd48d652dc2b8c3f7298fbfe04062b4..2ee81468180c2b4b6409b8e99e890fc81472d184 100644 --- a/dev/docker/Dockerfile +++ b/dev/docker/Dockerfile @@ -26,7 +26,7 @@ RUN /init/install.sh \ unzip \ wget -RUN bash -c "yes '' | sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)" --version 2.1.3 +RUN bash -c "yes '' | sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)" --version 2.1.5 # Avoid using root (opam dislikes it) COPY add-user.sh /init/ diff --git a/dev/docker/Makefile b/dev/docker/Makefile index cf1d57be5dbc38b272eef0ddcc622710f7a90f25..36025c4b54e1014f8372f5b95d6d8a908487f1ae 100644 --- a/dev/docker/Makefile +++ b/dev/docker/Makefile @@ -56,8 +56,8 @@ version=$(shell grep -o "^- OCaml [0-9.]\+" "../../reference-configuration.md" | BUILD_ARGS += --build-arg=OCAML_VERSION=$(version) %.debian: BUILD_ARGS += --build-arg=DISTRO=debian:bookworm-slim -%.fedora: BUILD_ARGS += --build-arg=DISTRO=fedora:38 -%.alpine: BUILD_ARGS += --build-arg=DISTRO=alpine:3.18 +%.fedora: BUILD_ARGS += --build-arg=DISTRO=fedora:39 +%.alpine: BUILD_ARGS += --build-arg=DISTRO=alpine:3.19 dev-all: dev.debian dev-stripped.debian dev-gui.debian \ dev.fedora dev-stripped.fedora dev-gui.fedora \