robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

unipi, monitoring: use the --enable-monitoring configure option

Browse source
This commit is contained in:
Hannes Mehnert 2023-03-09 13:26:30 +01:00
parent 6f880ea3fc
commit de09dd1f33
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
packages/mirage-unikernel-unipi-monitoring-hvt.0.0.2/opam vendored
View file

@ -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" }