From de09dd1f335b908d90e440a4b73f3f5c3eb9f70d Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 9 Mar 2023 13:26:30 +0100 Subject: [PATCH] unipi, monitoring: use the --enable-monitoring configure option --- packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam index de9ed6e..a2d4598 100644 --- a/packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam @@ -59,7 +59,7 @@ depends: [ x-mirage-opam-lock-location: "mirage/unipi-hvt.opam.locked" -x-mirage-configure: ["sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit --context ./mirage/context --no-extra-repo"] +x-mirage-configure: ["sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit --enable-monitoring --context ./mirage/context --no-extra-repo"] x-mirage-pre-build: [make "lock" "depext-lockfile" "pull"] @@ -72,4 +72,4 @@ x-opam-monorepo-opam-provided: ["mirage" "ocaml""ocaml-solo5""opam-monorepo" "solo5"] -url { src: "git+https://github.com/roburio/unipi.git#monitoring" } +url { src: "git+https://github.com/roburio/unipi.git" }