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

Merge pull request 'Updates related to new opam-graph nodes-sharing-color' (#100) from 20220317_opam-graph_updates into main

Browse source 
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/100
This commit is contained in:
rand 2022-03-30 10:24:58 +00:00
commit 7b08045114
2 changed files with 11 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
bin/visualizations/builder_viz.ml
View file

@ -72,19 +72,22 @@ let print_treemap_html elf_path elf_size =
* |> Fmt.to_to_string (Tyxml.Svg.pp ()) *) * |> Fmt.to_to_string (Tyxml.Svg.pp ()) *)
let print_dependencies_html file = let print_dependencies_html file =
let open Opam_graph in let module G = Opam_graph in
let switch = read_file file in let switch = read_file file in
let data = OpamFile.SwitchExport.read_from_string switch in let data = OpamFile.SwitchExport.read_from_string switch in
let transitive = false in let graph = G.Ui.dependencies ~transitive:false data in
let graph = Ui.dependencies ~transitive data in let sharing_stats =
data
|> G.dependencies ~transitive:false
|> G.calc_sharing_stats in
let override_css = {| let override_css = {|
.deps-svg-wrap { .deps-svg-wrap {
background: rgb(60, 60, 87); background: rgb(60, 60, 87);
} }
|} |}
in in
let html = Render.Html.of_assoc ~override_css graph in let html = G.Render.Html.of_assoc ~override_css ~sharing_stats graph in
Format.printf "%a" Render.Html.pp html Format.printf "%a" G.Render.Html.pp html
module Cmd_aux = struct module Cmd_aux = struct

4
lib/views.ml
View file

@ -618,6 +618,7 @@ module Job_build = struct
~next ~next
let viz_style_deps = " let viz_style_deps = "
border: 0;
width: 45em; width: 45em;
height: 45.4em; height: 45.4em;
max-width: 100%; max-width: 100%;
@ -627,8 +628,9 @@ module Job_build = struct
" "
let viz_style_treemap = " let viz_style_treemap = "
border: 0;
width: 46em; width: 46em;
height: 48.4em; height: 49.4em;
max-width: 100%; max-width: 100%;
max-height: 52vw; max-height: 52vw;
min-width: 38em; min-width: 38em;