diff options
author | Marc Poulhiès <dkm@kataplop.net> | 2021-12-28 15:35:11 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-28 15:35:11 +0100 |
commit | 86dd8f7814267772b0466b9eb18d0e419f0dfc20 (patch) | |
tree | 05dcd44308d7e55ab62e47ed4f6ec6b57b057a3c /lib/compilers/ada.js | |
parent | 28cf53878cf6e8b6f349a557f184aff42df052b4 (diff) | |
download | compiler-explorer-86dd8f7814267772b0466b9eb18d0e419f0dfc20.tar.gz compiler-explorer-86dd8f7814267772b0466b9eb18d0e419f0dfc20.zip |
Ada: new pane for GNAT Debug Tree (#3190)gh-1473
Support for the GNAT Tree emitted by `-gnatdt` on stdout.
The pane is also available in the diff tool.
Signed-off-by: Marc Poulhiès <dkm@kataplop.net>
Diffstat (limited to 'lib/compilers/ada.js')
-rw-r--r-- | lib/compilers/ada.js | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/lib/compilers/ada.js b/lib/compilers/ada.js index 47b2f27b0..daa6d538e 100644 --- a/lib/compilers/ada.js +++ b/lib/compilers/ada.js @@ -35,7 +35,9 @@ export class AdaCompiler extends BaseCompiler { this.compiler.supportsGccDump = true; this.compiler.removeEmptyGccDump = true; this.compiler.supportsIntel = true; - this.compiler.supportsGnatDebugView = true; + + // used for all GNAT related panes (Expanded code, Tree) + this.compiler.supportsGnatDebugViews = true; } getExecutableFilename(dirPath) { @@ -50,10 +52,14 @@ export class AdaCompiler extends BaseCompiler { // super is needed as it handles the GCC Dump files. const opts = super.optionsForBackend (backendOptions, outputFilename); - if (backendOptions.produceGnatDebug && this.compiler.supportsGnatDebugView) + if (backendOptions.produceGnatDebug && this.compiler.supportsGnatDebugViews) // This is using stdout opts.push('-gnatGL'); + if (backendOptions.produceGnatDebugTree && this.compiler.supportsGnatDebugViews) + // This is also using stdout + opts.push('-gnatdt'); + return opts; } |