diff options
Diffstat (limited to 'lib/compilers/ada.js')
-rw-r--r-- | lib/compilers/ada.js | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/compilers/ada.js b/lib/compilers/ada.js index 971564edb..9a6fea6f8 100644 --- a/lib/compilers/ada.js +++ b/lib/compilers/ada.js @@ -46,6 +46,16 @@ export class AdaCompiler extends BaseCompiler { return path.join(dirPath, 'example.o'); } + optionsForBackend(backendOptions){ + // super is needed as it handles the GCC Dump files. + const opts = super.optionsForBackend (backendOptions); + + if (backendOptions.produceGnatDebug && this.compiler.supportsGnatDebugView) + opts.push('-gnatDGL'); + + return opts; + } + optionsForFilter(filters, outputFilename) { let options = []; |