More ada fixes

Author: mattgodbolt

etc/config/ada.amazon.properties

@@ -12,11 +12,14 @@ compilerType=ada
 ###############################
 # GCC (as in GNU Compiler Collection) for x86
 group.gnat.compilers=gnat82:gnatsnapshot
-group.gnat.baseName=GNAT x86-64
+group.gnat.groupName=GNAT x86-64
+group.gnat.isSemVer=true
+group.gnat.baseName=x86-64 gnat
 compiler.gnat82.exe=/opt/compiler-explorer/gcc-8.2.0/bin/gnat
 compiler.gnat82.semver=8.2
 compiler.gnatsnapshot.exe=/opt/compiler-explorer/gcc-snapshot/bin/gnat
 compiler.gnatsnapshot.name=x86-64 gnat (trunk)
+compiler.gnatsnapshot.semver=(trunk)
 
 #################################
 #################################

lib/compilers/ada.js

@@ -57,7 +57,7 @@ class AdaCompiler extends BaseCompiler {
     // this however restricts users from including standard library packages, as
     // Ada mandates that 'with' clauses are placed in the context clause,
     // which in the case of a single subprogram is outside of its declaration and body.
-    preProcess(source){
+    preProcess(source) {
         return source;
     }
 
@@ -72,17 +72,19 @@ class AdaCompiler extends BaseCompiler {
         // output as 'output.s' and not end up with 'example.s'. If the output is left
         // as 'example.s' CE can't find it and thus you get no output.
         let inputFileName = options.pop();
-        for(let i = 0; i < options.length; i++){
-            if(options[i] === '-cargs'){
-                options.splice(i,0,inputFileName);
+        for (let i = 0; i < options.length; i++) {
+            if (options[i] === '-cargs') {
+                options.splice(i, 0, inputFileName);
                 break;
             }
         }
-        const result = this.exec(compiler, options, execOptions);
-        result.inputFilename = inputFilename;
-        result.stdout = utils.parseOutput(result.stdout, inputFilename);
-        result.stderr = utils.parseOutput(result.stderr, inputFilename);
-        return result;
+        return this.exec(compiler, options, execOptions)
+            .then(result => {
+                result.inputFilename = inputFilename;
+                result.stdout = utils.parseOutput(result.stdout, inputFilename);
+                result.stderr = utils.parseOutput(result.stderr, inputFilename);
+                return result;
+            });
     }
 }