diff options
Diffstat (limited to 'etc/config/ada.amazon.properties')
| -rw-r--r-- | etc/config/ada.amazon.properties | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/etc/config/ada.amazon.properties b/etc/config/ada.amazon.properties index 92fb4f82e..d104525fb 100644 --- a/etc/config/ada.amazon.properties +++ b/etc/config/ada.amazon.properties @@ -7,14 +7,14 @@ compilerType=ada ############################### # GCC (as in GNU Compiler Collection) for x86 -group.gnat.compilers=gnat82:gnat95:gnat102:gnat104:gnat105:gnat111:gnat112:gnat113:gnat114:gnat121:gnat122:gnat123:gnat131:gnat132:gnatsnapshot +group.gnat.compilers=gnat82:gnat95:gnat102:gnat104:gnat105:gnat111:gnat112:gnat113:gnat114:gnat121:gnat122:gnat123:gnat131:gnat132:gnat141:gnatsnapshot group.gnat.intelAsm=-masm=intel group.gnat.groupName=X86-64 GNAT group.gnat.baseName=x86-64 gnat group.gnat.supportsBinary=true group.gnat.supportsExecute=true -group.gnat.objdumper=/opt/compiler-explorer/gcc-13.2.0/bin/objdump -group.gnat.demangler=/opt/compiler-explorer/gcc-13.2.0/bin/c++filt +group.gnat.objdumper=/opt/compiler-explorer/gcc-14.1.0/bin/objdump +group.gnat.demangler=/opt/compiler-explorer/gcc-14.1.0/bin/c++filt group.gnat.isSemVer=true group.gnat.licenseLink=https://gcc.gnu.org/onlinedocs/gcc/Copying.html group.gnat.licenseName=GNU General Public License @@ -51,6 +51,9 @@ compiler.gnat131.exe=/opt/compiler-explorer/gcc-13.1.0/bin/gnatmake compiler.gnat131.semver=13.1 compiler.gnat132.exe=/opt/compiler-explorer/gcc-13.2.0/bin/gnatmake compiler.gnat132.semver=13.2 +compiler.gnat141.exe=/opt/compiler-explorer/gcc-14.1.0/bin/gnatmake +compiler.gnat141.semver=14.1 + compiler.gnatsnapshot.exe=/opt/compiler-explorer/gcc-snapshot/bin/gnatmake compiler.gnatsnapshot.demangler=/opt/compiler-explorer/gcc-snapshot/bin/c++filt compiler.gnatsnapshot.objdumper=/opt/compiler-explorer/gcc-snapshot/bin/objdump |