aboutsummaryrefslogtreecommitdiff
path: root/lib/compilers/ada.js
diff options
context:
space:
mode:
authorMarc Poulhiès <dkm@kataplop.net>2021-12-17 18:42:06 +0000
committerGitHub <noreply@github.com>2021-12-17 18:42:06 +0000
commite22fb1f7fe157e2dfca494770a8f0f60eaefcf96 (patch)
tree9a0182ac1c2b6c963ce3ddbeba8c65a127cf2fa7 /lib/compilers/ada.js
parent0e34de6d9b898d9ac1330c653668d0e1832f054e (diff)
parentd57c96a500f8531a46f98cc70f933e75c8186dc3 (diff)
downloadcompiler-explorer-gh-1402.tar.gz
compiler-explorer-gh-1402.zip
Merge d57c96a500f8531a46f98cc70f933e75c8186dc3 into 0e34de6d9b898d9ac1330c653668d0e1832f054egh-1402
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;
}