# 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
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

################################
# GNAT for ppc
group.gnatppcs.compilers=&gnatppc:&gnatppc64:&gnatppc64le
group.gnatppcs.instructionSet=ppc

## POWER
group.gnatppc.groupName=power
group.gnatppc.compilers=gnatppc1120:gnatppc1210
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

## POWER64
group.gnatppc64.groupName=power64
group.gnatppc64.compilers=gnatppc641120:gnatppc641210
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

## POWER64LE
group.gnatppc64le.groupName=power64le
group.gnatppc64le.compilers=gnatppc64le1120:gnatppc64le1210
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

################################
# 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
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

## MIPS64
group.gnatmips64.groupName=mips64
group.gnatmips64.compilers=gnatmips641120:gnatmips641210
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

################################
# GNAT for arm64
group.gnatarm64.compilers=gnatarm641210
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

################################
# 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
