From 3914e718c324e01fcc101e1373a29d5bb7272abb Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Fri, 4 Nov 2022 14:51:58 +0100
Subject: [PATCH] Classify a build as monitoring build if mirage-monitoring is
 in the dependency cone

---
 lib/model.ml | 23 ++++++++++++++++++-----
 1 file changed, 18 insertions(+), 5 deletions(-)

diff --git a/lib/model.ml b/lib/model.ml
index 1a883e2..7696283 100644
--- a/lib/model.ml
+++ b/lib/model.ml
@@ -248,12 +248,25 @@ let infer_section_and_synopsis artifacts =
     | Some opam -> OpamFile.OPAM.synopsis opam, OpamFile.OPAM.descr_body opam
   in
   let infer_section switch root =
-    let root_pkg_name = OpamPackage.Name.to_string root.OpamPackage.name in
+    let root_pkg = root.OpamPackage.name in
+    let root_pkg_name = OpamPackage.Name.to_string root_pkg in
     if Astring.String.is_prefix ~affix:"mirage-unikernel-" root_pkg_name then
-      let influx = OpamPackage.Name.of_string "metrics-influx" in
-      if OpamPackage.Set.exists (fun p -> OpamPackage.Name.equal p.OpamPackage.name influx)
-           switch.OpamFile.SwitchExport.selections.OpamTypes.sel_installed
-      then
+      let metrics_influx =
+        let influx = OpamPackage.Name.of_string "metrics-influx" in
+        OpamPackage.Set.exists (fun p -> OpamPackage.Name.equal p.OpamPackage.name influx)
+          switch.OpamFile.SwitchExport.selections.OpamTypes.sel_installed
+      in
+      let mirage_monitoring =
+        let monitoring = OpamPackage.Name.of_string "mirage-monitoring" in
+        match OpamPackage.Name.Map.find_opt root_pkg switch.OpamFile.SwitchExport.overlays with
+        | None -> false
+        | Some opam ->
+          let depends = OpamFile.OPAM.depends opam in
+          OpamFormula.fold_left (fun acc (n', _) ->
+              acc || OpamPackage.Name.equal n' monitoring)
+            false depends
+      in
+      if metrics_influx || mirage_monitoring then
         "Unikernels (with metrics reported to Influx)"
       else
         "Unikernels"