| # Default settings for Ada |
| compilers=&gnat:&gnatcross |
| defaultCompiler=gnat122 |
| versionFlag=--version |
| compilerType=ada |
| |
| |
| ############################### |
| # GCC (as in GNU Compiler Collection) for x86 |
| group.gnat.compilers=gnat82:gnat95:gnat102:gnat104:gnat111:gnat112:gnat113:gnat121:gnat122:gnatsnapshot |
| group.gnat.intelAsm=-masm=intel |
| group.gnat.groupName=x86-64 |
| group.gnat.baseName=x86-64 gnat |
| group.gnat.supportsBinary=true |
| group.gnat.supportsExecute=true |
| group.gnat.objdumper=/opt/compiler-explorer/gcc-12.2.0/bin/objdump |
| group.gnat.demangler=/opt/compiler-explorer/gcc-12.2.0/bin/c++filt |
| group.gnat.isSemVer=true |
| |
| compiler.gnat82.exe=/opt/compiler-explorer/gcc-8.2.0/bin/gnatmake |
| compiler.gnat82.semver=8.2 |
| compiler.gnat95.exe=/opt/compiler-explorer/gcc-9.5.0/bin/gnatmake |
| compiler.gnat95.semver=9.5 |
| compiler.gnat102.exe=/opt/compiler-explorer/gcc-10.2.0/bin/gnatmake |
| compiler.gnat102.semver=10.2 |
| compiler.gnat104.exe=/opt/compiler-explorer/gcc-10.4.0/bin/gnatmake |
| compiler.gnat104.semver=10.4 |
| compiler.gnat111.exe=/opt/compiler-explorer/gcc-11.1.0/bin/gnatmake |
| compiler.gnat111.semver=11.1 |
| compiler.gnat112.exe=/opt/compiler-explorer/gcc-11.2.0/bin/gnatmake |
| compiler.gnat112.semver=11.2 |
| compiler.gnat113.exe=/opt/compiler-explorer/gcc-11.3.0/bin/gnatmake |
| compiler.gnat113.semver=11.3 |
| compiler.gnat121.exe=/opt/compiler-explorer/gcc-12.1.0/bin/gnatmake |
| compiler.gnat121.semver=12.1 |
| compiler.gnat122.exe=/opt/compiler-explorer/gcc-12.2.0/bin/gnatmake |
| compiler.gnat122.semver=12.2 |
| 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 |
| compiler.gnatsnapshot.name=x86-64 gnat (trunk) |
| compiler.gnatsnapshot.semver=(trunk) |
| |
| ################################ |
| # Cross GNAT |
| group.gnatcross.compilers=&gnatriscv64:&gnatarm:&gnatarm64:&gnats390x:&gnatmipss:&gnatppcs |
| group.gnatcross.supportsExecute=false |
| group.gnatcross.supportsBinary=false |
| group.gnatcross.isSemVer=true |
| |
| ################################ |
| # GNAT for riscv64 |
| group.gnatriscv64.compilers=gnatriscv64112:gnatriscv64103 |
| group.gnatriscv64.groupName=riscv64 |
| group.gnatriscv64.instructionSet=riscv |
| |
| compiler.gnatriscv64103.exe=/opt/compiler-explorer/riscv64/gnat-riscv64-elf-linux64-10.3.0-2/bin/riscv64-elf-gnatmake |
| compiler.gnatriscv64103.demangler=/opt/compiler-explorer/riscv64/gnat-riscv64-elf-linux64-10.3.0-2/bin/riscv64-elf-c++filt |
| compiler.gnatriscv64103.name=riscv64 gnat 10.3.0-2 (Alire) |
| compiler.gnatriscv64103.semver=10.3.0 |
| compiler.gnatriscv64103.adarts=/opt/compiler-explorer/riscv64/gnat-riscv64-elf-linux64-10.3.0-2/riscv64-elf/lib/gnat/zfp-rv64imac |
| |
| compiler.gnatriscv64112.exe=/opt/compiler-explorer/riscv64/gnat-riscv64-elf-linux64-11.2.0-3/bin/riscv64-elf-gnatmake |
| compiler.gnatriscv64112.demangler=/opt/compiler-explorer/riscv64/gnat-riscv64-elf-linux64-11.2.0-3/bin/riscv64-elf-c++filt |
| compiler.gnatriscv64112.name=riscv64 gnat 11.2.0-3 (Alire) |
| compiler.gnatriscv64112.semver=11.2.0 |
| compiler.gnatriscv64112.adarts=/opt/compiler-explorer/riscv64/gnat-riscv64-elf-linux64-11.2.0-3/riscv64-elf/lib/gnat/zfp-rv64imac |
| |
| ################################ |
| # GNAT for s390x |
| group.gnats390x.compilers=gnats390x1120:gnats390x1210:gnats390x1220 |
| group.gnats390x.groupName=s390x |
| group.gnats390x.instructionSet=s390x |
| group.gnats390x.baseName=s390x gnat |
| |
| compiler.gnats390x1120.exe=/opt/compiler-explorer/s390x/gcc-11.2.0/s390x-ibm-linux-gnu/bin/s390x-ibm-linux-gnu-gnatmake |
| compiler.gnats390x1120.demangler=/opt/compiler-explorer/s390x/gcc-11.2.0/s390x-ibm-linux-gnu/bin/s390x-ibm-linux-gnu-c++filt |
| compiler.gnats390x1120.semver=11.2.0 |
| compiler.gnats390x1210.exe=/opt/compiler-explorer/s390x/gcc-12.1.0/s390x-ibm-linux-gnu/bin/s390x-ibm-linux-gnu-gnatmake |
| compiler.gnats390x1210.semver=12.1.0 |
| |
| compiler.gnats390x1220.exe=/opt/compiler-explorer/s390x/gcc-12.2.0/s390x-ibm-linux-gnu/bin/s390x-ibm-linux-gnu-gnatmake |
| compiler.gnats390x1220.semver=12.2.0 |
| compiler.gnats390x1220.objdumper=/opt/compiler-explorer/s390x/gcc-12.2.0/s390x-ibm-linux-gnu/bin/s390x-ibm-linux-gnu-objdump |
| compiler.gnats390x1220.demangler=/opt/compiler-explorer/s390x/gcc-12.2.0/s390x-ibm-linux-gnu/bin/s390x-ibm-linux-gnu-c++filt |
| |
| ################################ |
| # GNAT for ppc |
| group.gnatppcs.compilers=&gnatppc:&gnatppc64:&gnatppc64le |
| group.gnatppcs.instructionSet=ppc |
| |
| ## POWER |
| group.gnatppc.groupName=power |
| group.gnatppc.compilers=gnatppc1120:gnatppc1210:gnatppc1220 |
| group.gnatppc.baseName=powerpc gnat |
| |
| compiler.gnatppc1120.exe=/opt/compiler-explorer/powerpc/gcc-11.2.0/powerpc-unknown-linux-gnu/bin/powerpc-unknown-linux-gnu-gnatmake |
| compiler.gnatppc1120.demangler=/opt/compiler-explorer/powerpc/gcc-11.2.0/powerpc-unknown-linux-gnu/bin/powerpc-unknown-linux-gnu-c++filt |
| compiler.gnatppc1120.semver=11.2.0 |
| |
| compiler.gnatppc1210.exe=/opt/compiler-explorer/powerpc/gcc-12.1.0/powerpc-unknown-linux-gnu/bin/powerpc-unknown-linux-gnu-gnatmake |
| compiler.gnatppc1210.demangler=/opt/compiler-explorer/powerpc/gcc-12.1.0/powerpc-unknown-linux-gnu/bin/powerpc-unknown-linux-gnu-c++filt |
| compiler.gnatppc1210.semver=12.1.0 |
| |
| compiler.gnatppc1220.exe=/opt/compiler-explorer/powerpc/gcc-12.2.0/powerpc-unknown-linux-gnu/bin/powerpc-unknown-linux-gnu-gnatmake |
| compiler.gnatppc1220.semver=12.2.0 |
| compiler.gnatppc1220.objdumper=/opt/compiler-explorer/powerpc/gcc-12.2.0/powerpc-unknown-linux-gnu/bin/powerpc-unknown-linux-gnu-objdump |
| compiler.gnatppc1220.demangler=/opt/compiler-explorer/powerpc/gcc-12.2.0/powerpc-unknown-linux-gnu/bin/powerpc-unknown-linux-gnu-c++filt |
| |
| ## POWER64 |
| group.gnatppc64.groupName=power64 |
| group.gnatppc64.compilers=gnatppc641120:gnatppc641210:gnatppc641220 |
| group.gnatppc64.baseName=powerpc64 gnat |
| |
| compiler.gnatppc641120.exe=/opt/compiler-explorer/powerpc64/gcc-11.2.0/powerpc64-unknown-linux-gnu/bin/powerpc64-unknown-linux-gnu-gnatmake |
| compiler.gnatppc641120.demangler=/opt/compiler-explorer/powerpc64/gcc-11.2.0/powerpc64-unknown-linux-gnu/bin/powerpc64-unknown-linux-gnu-c++filt |
| compiler.gnatppc641120.semver=11.2.0 |
| |
| compiler.gnatppc641210.exe=/opt/compiler-explorer/powerpc64/gcc-12.1.0/powerpc64-unknown-linux-gnu/bin/powerpc64-unknown-linux-gnu-gnatmake |
| compiler.gnatppc641210.demangler=/opt/compiler-explorer/powerpc64/gcc-12.1.0/powerpc64-unknown-linux-gnu/bin/powerpc64-unknown-linux-gnu-c++filt |
| compiler.gnatppc641210.semver=12.1.0 |
| |
| compiler.gnatppc641220.exe=/opt/compiler-explorer/powerpc64/gcc-12.2.0/powerpc64-unknown-linux-gnu/bin/powerpc64-unknown-linux-gnu-gnatmake |
| compiler.gnatppc641220.semver=12.2.0 |
| compiler.gnatppc641220.objdumper=/opt/compiler-explorer/powerpc64/gcc-12.2.0/powerpc64-unknown-linux-gnu/bin/powerpc64-unknown-linux-gnu-objdump |
| compiler.gnatppc641220.demangler=/opt/compiler-explorer/powerpc64/gcc-12.2.0/powerpc64-unknown-linux-gnu/bin/powerpc64-unknown-linux-gnu-c++filt |
| |
| ## POWER64LE |
| group.gnatppc64le.groupName=power64le |
| group.gnatppc64le.compilers=gnatppc64le1120:gnatppc64le1210:gnatppc64le1220 |
| group.gnatppc64le.baseName=powerpc64le gnat |
| |
| compiler.gnatppc64le1120.exe=/opt/compiler-explorer/powerpc64le/gcc-11.2.0/powerpc64le-unknown-linux-gnu/bin/powerpc64le-unknown-linux-gnu-gnatmake |
| compiler.gnatppc64le1120.demangler=/opt/compiler-explorer/powerpc64le/gcc-11.2.0/powerpc64le-unknown-linux-gnu/bin/powerpc64le-unknown-linux-gnu-c++filt |
| compiler.gnatppc64le1120.semver=11.2.0 |
| |
| compiler.gnatppc64le1210.exe=/opt/compiler-explorer/powerpc64le/gcc-12.1.0/powerpc64le-unknown-linux-gnu/bin/powerpc64le-unknown-linux-gnu-gnatmake |
| compiler.gnatppc64le1210.demangler=/opt/compiler-explorer/powerpc64le/gcc-12.1.0/powerpc64le-unknown-linux-gnu/bin/powerpc64le-unknown-linux-gnu-c++filt |
| compiler.gnatppc64le1210.semver=12.1.0 |
| |
| compiler.gnatppc64le1220.exe=/opt/compiler-explorer/powerpc64le/gcc-12.2.0/powerpc64le-unknown-linux-gnu/bin/powerpc64le-unknown-linux-gnu-gnatmake |
| compiler.gnatppc64le1220.semver=12.2.0 |
| compiler.gnatppc64le1220.objdumper=/opt/compiler-explorer/powerpc64le/gcc-12.2.0/powerpc64le-unknown-linux-gnu/bin/powerpc64le-unknown-linux-gnu-objdump |
| compiler.gnatppc64le1220.demangler=/opt/compiler-explorer/powerpc64le/gcc-12.2.0/powerpc64le-unknown-linux-gnu/bin/powerpc64le-unknown-linux-gnu-c++filt |
| |
| ################################ |
| # GNAT for MIPSs |
| ## GNAT builds for mipsel and mips64el are broken on 12.1.0 |
| group.gnatmipss.compilers=&gnatmips:&gnatmips64 |
| group.gnatmipss.instructionSet=mips |
| |
| ## MIPS |
| group.gnatmips.groupName=mips |
| group.gnatmips.compilers=gnatmips1120:gnatmips1210:gnatmips1220 |
| group.gnatmips.baseName=mips gnat |
| |
| compiler.gnatmips1120.exe=/opt/compiler-explorer/mips/gcc-11.2.0/mips-unknown-linux-gnu/bin/mips-unknown-linux-gnu-gnatmake |
| compiler.gnatmips1120.demangler=/opt/compiler-explorer/mips/gcc-11.2.0/mips-unknown-linux-gnu/bin/mips-unknown-linux-gnu-c++filt |
| compiler.gnatmips1120.semver=11.2.0 |
| |
| compiler.gnatmips1210.exe=/opt/compiler-explorer/mips/gcc-12.1.0/mips-unknown-linux-gnu/bin/mips-unknown-linux-gnu-gnatmake |
| compiler.gnatmips1210.semver=12.1.0 |
| compiler.gnatmips1210.objdumper=/opt/compiler-explorer/mips/gcc-12.1.0/mips-unknown-linux-gnu/bin/mips-unknown-linux-gnu-objdump |
| |
| compiler.gnatmips1220.exe=/opt/compiler-explorer/mips/gcc-12.2.0/mips-unknown-linux-gnu/bin/mips-unknown-linux-gnu-gnatmake |
| compiler.gnatmips1220.semver=12.2.0 |
| compiler.gnatmips1220.objdumper=/opt/compiler-explorer/mips/gcc-12.2.0/mips-unknown-linux-gnu/bin/mips-unknown-linux-gnu-objdump |
| compiler.gnatmips1220.demangler=/opt/compiler-explorer/mips/gcc-12.2.0/mips-unknown-linux-gnu/bin/mips-unknown-linux-gnu-c++filt |
| |
| ## MIPS64 |
| group.gnatmips64.groupName=mips64 |
| group.gnatmips64.compilers=gnatmips641120:gnatmips641210:gnatmips641220 |
| group.gnatmips64.baseName=mips64 gnat |
| |
| compiler.gnatmips641120.exe=/opt/compiler-explorer/mips64/gcc-11.2.0/mips64-unknown-linux-gnu/bin/mips64-unknown-linux-gnu-gnatmake |
| compiler.gnatmips641120.demangler=/opt/compiler-explorer/mips64/gcc-11.2.0/mips64-unknown-linux-gnu/bin/mips64-unknown-linux-gnu-c++filt |
| compiler.gnatmips641120.semver=11.2.0 |
| |
| compiler.gnatmips641210.exe=/opt/compiler-explorer/mips64/gcc-12.1.0/mips64-unknown-linux-gnu/bin/mips64-unknown-linux-gnu-gnatmake |
| compiler.gnatmips641210.demangler=/opt/compiler-explorer/mips64/gcc-12.1.0/mips64-unknown-linux-gnu/bin/mips64-unknown-linux-gnu-c++filt |
| compiler.gnatmips641210.semver=12.1.0 |
| |
| compiler.gnatmips641220.exe=/opt/compiler-explorer/mips64/gcc-12.2.0/mips64-unknown-linux-gnu/bin/mips64-unknown-linux-gnu-gnatmake |
| compiler.gnatmips641220.semver=12.2.0 |
| compiler.gnatmips641220.objdumper=/opt/compiler-explorer/mips64/gcc-12.2.0/mips64-unknown-linux-gnu/bin/mips64-unknown-linux-gnu-objdump |
| compiler.gnatmips641220.demangler=/opt/compiler-explorer/mips64/gcc-12.2.0/mips64-unknown-linux-gnu/bin/mips64-unknown-linux-gnu-c++filt |
| |
| ################################ |
| # GNAT for arm64 |
| group.gnatarm64.compilers=gnatarm641210:gnatarm641220 |
| group.gnatarm64.groupName=arm64 |
| group.gnatarm64.baseName=arm64 gnat |
| group.gnatarm64.instructionSet=arm64 |
| |
| compiler.gnatarm641210.exe=/opt/compiler-explorer/arm64/gcc-12.1.0/aarch64-unknown-linux-gnu/bin/aarch64-unknown-linux-gnu-gnatmake |
| compiler.gnatarm641210.semver=12.1.0 |
| compiler.gnatarm641210.objdumper=/opt/compiler-explorer/arm64/gcc-12.1.0/aarch64-unknown-linux-gnu/bin/aarch64-unknown-linux-gnu-objdump |
| |
| compiler.gnatarm641220.exe=/opt/compiler-explorer/arm64/gcc-12.2.0/aarch64-unknown-linux-gnu/bin/aarch64-unknown-linux-gnu-gnatmake |
| compiler.gnatarm641220.semver=12.2.0 |
| compiler.gnatarm641220.objdumper=/opt/compiler-explorer/arm64/gcc-12.2.0/aarch64-unknown-linux-gnu/bin/aarch64-unknown-linux-gnu-objdump |
| compiler.gnatarm641220.demangler=/opt/compiler-explorer/arm64/gcc-12.2.0/aarch64-unknown-linux-gnu/bin/aarch64-unknown-linux-gnu-c++filt |
| |
| ################################ |
| # GNAT for arm |
| group.gnatarm.compilers=gnatarm112:gnatarm103 |
| group.gnatarm.groupName=arm |
| group.gnatarm.instructionSet=arm32 |
| |
| compiler.gnatarm103.exe=/opt/compiler-explorer/arm/gnat-arm-elf-linux64-10.3.0-2/bin/arm-eabi-gnatmake |
| compiler.gnatarm103.demangler=/opt/compiler-explorer/arm/gnat-arm-elf-linux64-10.3.0-2/bin/arm-eabi-c++filt |
| compiler.gnatarm103.name=arm gnat 10.3.0-2 (Alire) |
| compiler.gnatarm103.semver=10.3.0 |
| compiler.gnatarm103.adarts=/opt/compiler-explorer/arm/gnat-arm-elf-linux64-10.3.0-2/arm-eabi/lib/gnat/zfp-cortex-m4f/ |
| |
| compiler.gnatarm112.exe=/opt/compiler-explorer/arm/gnat-arm-elf-linux64-11.2.0-3/bin/arm-eabi-gnatmake |
| compiler.gnatarm112.demangler=/opt/compiler-explorer/arm/gnat-arm-elf-linux64-11.2.0-3/bin/arm-eabi-c++filt |
| compiler.gnatarm112.name=arm gnat 11.2.0-3 (Alire) |
| compiler.gnatarm112.semver=11.2.0 |
| compiler.gnatarm112.adarts=/opt/compiler-explorer/arm/gnat-arm-elf-linux64-11.2.0-3/arm-eabi/lib/gnat/zfp-cortex-m4f/ |
| |
| ################################# |
| ################################# |
| # Installed libs (See c++.amazon.properties for a scheme of libs group) |
| libs= |
| |
| ################################# |
| # Tools |
| tools=readelf:ldd:strings |
| |
| 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= |
| 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= |
| tools.ldd.stdinHint=disabled |
| |
| tools.strings.exe=/opt/compiler-explorer/gcc-snapshot/bin/strings |
| tools.strings.name=strings |
| tools.strings.type=postcompilation |
| tools.strings.class=strings-tool |
| tools.strings.exclude= |
| tools.strings.stdinHint=disabled |