aboutsummaryrefslogtreecommitdiff
path: root/lib/compilers/ada.js
diff options
context:
space:
mode:
authorMarc Poulhiès <dkm@kataplop.net>2021-12-28 15:35:11 +0100
committerGitHub <noreply@github.com>2021-12-28 15:35:11 +0100
commit86dd8f7814267772b0466b9eb18d0e419f0dfc20 (patch)
tree05dcd44308d7e55ab62e47ed4f6ec6b57b057a3c /lib/compilers/ada.js
parent28cf53878cf6e8b6f349a557f184aff42df052b4 (diff)
downloadcompiler-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.js10
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;
}