2019-05-12 21:25:25 +00:00
|
|
|
opam-version: "2.0"
|
2022-05-22 19:21:09 +00:00
|
|
|
maintainer: "Robur <team@robur.coop>"
|
|
|
|
authors: ["Robur <team@robur.coop>"]
|
2023-09-09 09:58:18 +00:00
|
|
|
homepage: "https://github.com/robur-coop/mirage-monitoring"
|
|
|
|
doc: "https://robur-coop.github.io/mirage-monitoring"
|
|
|
|
dev-repo: "git+https://github.com/robur-coop/mirage-monitoring.git"
|
|
|
|
bug-reports: "https://github.com/robur-coop/mirage-monitoring/issues"
|
2022-05-22 19:23:23 +00:00
|
|
|
license: "AGPL-3.0-only"
|
2019-05-12 21:25:25 +00:00
|
|
|
|
|
|
|
depends: [
|
2022-05-22 19:41:25 +00:00
|
|
|
"ocaml" {>= "4.11.0"}
|
2022-01-27 13:58:03 +00:00
|
|
|
"dune"
|
2019-05-12 21:25:25 +00:00
|
|
|
"logs" {>= "0.6.3"}
|
2022-01-28 23:40:12 +00:00
|
|
|
"metrics" {>= "0.4.0"}
|
2020-05-09 21:45:22 +00:00
|
|
|
"metrics-lwt" {>= "0.2.0"}
|
|
|
|
"metrics-influx" {>= "0.2.0"}
|
2025-02-10 14:50:40 +00:00
|
|
|
"mirage-sleep" {>= "4.0.0"}
|
2022-01-27 11:23:42 +00:00
|
|
|
"tcpip" {>= "7.0.0"}
|
2024-04-10 09:43:04 +00:00
|
|
|
"mirage-runtime" {>= "4.5.0"}
|
2025-02-10 14:50:40 +00:00
|
|
|
"memtrace-mirage" {>= "0.2.1.2.3"}
|
2019-05-12 21:25:25 +00:00
|
|
|
]
|
2023-03-03 11:03:48 +00:00
|
|
|
conflicts: [
|
|
|
|
"mirage-solo5" {< "0.9.2"}
|
2023-03-09 12:14:31 +00:00
|
|
|
"mirage-xen" {< "8.0.2"}
|
2023-03-03 11:03:48 +00:00
|
|
|
]
|
2019-05-12 21:25:25 +00:00
|
|
|
build: [
|
2022-01-29 16:06:12 +00:00
|
|
|
["dune" "subst"] {dev}
|
2019-05-12 21:25:25 +00:00
|
|
|
["dune" "build" "-p" name "-j" jobs]
|
|
|
|
["dune" "runtest" "-p" name "-j" jobs] {with-test}
|
|
|
|
]
|
2022-05-22 19:41:25 +00:00
|
|
|
synopsis: "Monitoring of MirageOS unikernels"
|
2019-05-12 21:25:25 +00:00
|
|
|
description: """
|
2022-05-22 19:41:25 +00:00
|
|
|
Reporting metrics to Influx, Telegraf. Dynamic adjusting log level and metrics
|
|
|
|
sources, memprof profiling.
|
2019-05-12 21:25:25 +00:00
|
|
|
"""
|
2025-02-10 14:50:40 +00:00
|
|
|
x-maintenance-intent: [ "(latest)" ]
|