diff options
| author | Rich Kadel <richkadel@google.com> | 2020-09-16 08:10:06 -0700 |
|---|---|---|
| committer | Rich Kadel <richkadel@google.com> | 2020-09-16 08:10:06 -0700 |
| commit | 5c29332ace48d8c34ad415ffcdce2641526938b8 (patch) | |
| tree | 728e033d3f83aa8fce29aa9243c104651fe76c28 /compiler/rustc_mir | |
| parent | f7aee330c70ef787d2224adb49804343978dd145 (diff) | |
| download | rust-5c29332ace48d8c34ad415ffcdce2641526938b8.tar.gz rust-5c29332ace48d8c34ad415ffcdce2641526938b8.zip | |
Make graphviz font configurable
Alternative to PR ##76776. To change the graphviz output to use an alternative `fontname` value, add a command line option like: `rustc --graphviz-font=monospace`.
Diffstat (limited to 'compiler/rustc_mir')
| -rw-r--r-- | compiler/rustc_mir/src/dataflow/framework/engine.rs | 3 | ||||
| -rw-r--r-- | compiler/rustc_mir/src/util/graphviz.rs | 6 |
2 files changed, 5 insertions, 4 deletions
diff --git a/compiler/rustc_mir/src/dataflow/framework/engine.rs b/compiler/rustc_mir/src/dataflow/framework/engine.rs index 0b5b437d186..4084083bd99 100644 --- a/compiler/rustc_mir/src/dataflow/framework/engine.rs +++ b/compiler/rustc_mir/src/dataflow/framework/engine.rs @@ -306,7 +306,8 @@ where let mut buf = Vec::new(); let graphviz = graphviz::Formatter::new(body, def_id, results, style); - let mut render_opts = vec![dot::RenderOption::Monospace]; + let mut render_opts = + vec![dot::RenderOption::Fontname(tcx.sess.opts.debugging_opts.graphviz_font.clone())]; if tcx.sess.opts.debugging_opts.graphviz_dark_mode { render_opts.push(dot::RenderOption::DarkTheme); } diff --git a/compiler/rustc_mir/src/util/graphviz.rs b/compiler/rustc_mir/src/util/graphviz.rs index e89c9437706..4511962d68f 100644 --- a/compiler/rustc_mir/src/util/graphviz.rs +++ b/compiler/rustc_mir/src/util/graphviz.rs @@ -55,9 +55,9 @@ where writeln!(w, "{} {}Mir_{} {{", kind, cluster, def_name)?; // Global graph properties - let font = r#"fontname="Courier, monospace""#; - let mut graph_attrs = vec![font]; - let mut content_attrs = vec![font]; + let font = format!(r#"fontname="{}""#, tcx.sess.opts.debugging_opts.graphviz_font); + let mut graph_attrs = vec![&font[..]]; + let mut content_attrs = vec![&font[..]]; let dark_mode = tcx.sess.opts.debugging_opts.graphviz_dark_mode; if dark_mode { |