From 80d944e9e09ef5b2007c7ea899c83487b6e6245d Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 9 Mar 2023 13:27:18 +0100 Subject: [PATCH] dns-primary-git, monitoring: use the --enable-monitoring configure option --- .../opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam index 2d73bb8..45e4234 100644 --- a/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam @@ -52,7 +52,7 @@ depends: [ x-mirage-opam-lock-location: "mirage/primary-git-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"] @@ -65,4 +65,4 @@ x-opam-monorepo-opam-provided: ["mirage" "ocaml""ocaml-solo5""opam-monorepo" "solo5"] -url { src: "git+https://github.com/roburio/dns-primary-git.git#future" } +url { src: "git+https://github.com/roburio/dns-primary-git.git" }