aboutsummaryrefslogtreecommitdiff
path: root/lib/compilers/ada.js
diff options
context:
space:
mode:
Diffstat (limited to 'lib/compilers/ada.js')
-rw-r--r--lib/compilers/ada.js10
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 = [];