diff options
author | Marc Poulhiès <dkm@kataplop.net> | 2021-12-17 18:42:06 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-17 18:42:06 +0000 |
commit | e22fb1f7fe157e2dfca494770a8f0f60eaefcf96 (patch) | |
tree | 9a0182ac1c2b6c963ce3ddbeba8c65a127cf2fa7 /lib/compilers/ada.js | |
parent | 0e34de6d9b898d9ac1330c653668d0e1832f054e (diff) | |
parent | d57c96a500f8531a46f98cc70f933e75c8186dc3 (diff) | |
download | compiler-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.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; } |