| # Default settings for Ada |
| compilers=&gnat |
| defaultCompiler=gnat102 |
| demangler=/opt/compiler-explorer/gcc-10.1.0/bin/c++filt |
| objdumper=/opt/compiler-explorer/gcc-10.1.0/bin/objdump |
| versionFlag=--version |
| supportsBinary=true |
| supportsExecute=true |
| intelAsm=-masm=intel |
| compilerType=ada |
| |
| ############################### |
| # GCC (as in GNU Compiler Collection) for x86 |
| group.gnat.compilers=gnat82:gnat102:gnatsnapshot |
| 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.gnat102.exe=/opt/compiler-explorer/gcc-10.2.0/bin/gnat |
| compiler.gnat102.semver=10.2 |
| compiler.gnatsnapshot.exe=/opt/compiler-explorer/gcc-snapshot/bin/gnat |
| compiler.gnatsnapshot.demangler=/opt/compiler-explorer/gcc-snapshot/bin/c++filt |
| compiler.gnatsnapshot.objdumper=/opt/compiler-explorer/gcc-snapshot/bin/objdump |
| compiler.gnatsnapshot.name=x86-64 gnat (trunk) |
| compiler.gnatsnapshot.semver=(trunk) |
| |
| ################################# |
| ################################# |
| # Installed libs (See c++.amazon.properties for a scheme of libs group) |
| libs= |
| |
| ################################# |
| # Tools |
| tools=readelf:ldd |
| |
| tools.readelf.name=readelf (trunk) |
| tools.readelf.exe=/opt/compiler-explorer/gcc-snapshot/bin/readelf |
| tools.readelf.type=postcompilation |
| tools.readelf.class=readelf-tool |
| tools.readelf.exclude=djggp |
| tools.readelf.stdinHint=disabled |
| |
| tools.ldd.name=ldd |
| tools.ldd.exe=/usr/bin/ldd |
| tools.ldd.type=postcompilation |
| tools.ldd.class=readelf-tool |
| tools.ldd.exclude=djggp |
| tools.ldd.stdinHint=disabled |