Merge 49e685b498eeac007276a6a3a744d427bf946390 into 7b7c3e1a2acc5379e6afd531b7779929c71764fcgh-1729

1 files changed, 8 insertions, 0 deletions

diff --git a/lib/compilers/ada.js b/lib/compilers/ada.js
index 105ee8ae1..8219f9b35 100644
--- a/lib/compilers/ada.js
+++ b/lib/compilers/ada.js
@@ -123,6 +123,14 @@ export class AdaCompiler extends BaseCompiler {
         for (let i = 0; i < options.length; i++) {
             if (options[i] === '-cargs') {
                 options.splice(i, 0, inputFileName);
+
+                // If the compiler contains a RTS, add the extra --RTS=.
+                // FIXME: should probably check the user did not use one.
+                if (this.compiler.adarts) {
+                    options.splice(i, 0,
+                        `--RTS=${this.compiler.adarts}`,
+                    );
+                }
                 break;
             }
         }