From ddd8b824c1c53d310550b1f4489647d0c473bb31 Mon Sep 17 00:00:00 2001 From: Virgile Robles Date: Wed, 11 Sep 2024 18:05:17 +0200 Subject: [PATCH] reenable metrics for OCaml 5.2 --- Dockerfile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 69d01257..5456b48c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -10,11 +10,11 @@ COPY --chown=opam:root mirage/config.ml /home/opam/www/mirage/ COPY --chown=opam:root mirageio.opam /home/opam/www/ ARG TARGET=unix ARG EXTRA_FLAGS= -ARG EXTRA_FLAGS_NO_METRICS="--tls=true --separate-networks" RUN opam pin add -n ocaml-solo5 'https://github.com/shym/ocaml-solo5.git#ocaml-5.2-reb' -RUN opam exec -- mirage configure -f mirage/config.ml -t $TARGET $EXTRA_FLAGS_NO_METRICS +RUN opam pin add -n memtrace-mirage 'https://github.com/Firobe/memtrace-mirage.git' +RUN opam exec -- mirage configure -f mirage/config.ml -t $TARGET $EXTRA_ARGS RUN opam exec -- make depend COPY --chown=opam:root . /home/opam/www -RUN opam exec -- mirage configure -f mirage/config.ml -t $TARGET $EXTRA_FLAGS_NO_METRICS +RUN opam exec -- mirage configure -f mirage/config.ml -t $TARGET $EXTRA_ARGS RUN opam exec -- dune build mirage/ --profile release RUN if [ $TARGET = hvt ]; then sudo cp mirage/dist/www.$TARGET /unikernel.$TARGET; fi