Here is the gprconfig that is first selected by the PATH:
$ which gprconfig
/usr/local/bin/gprconfig
$ gprconfig --version
GPRCONFIG 22.0.0 (2023-10-20) (x86_64-pc-linux-gnu)
Copyright (C) 2006-2023, AdaCore
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
I just noticed there are two gprconfigs installed, one in /usr/bin and one in /usr/local/bin. One of them detects an Ada compiler (and runtime) and the other does not.
/usr/local/bin:
$ /usr/local/bin/gprconfig --version
GPRCONFIG 22.0.0 (2023-10-20) (x86_64-pc-linux-gnu)
Copyright (C) 2006-2023, AdaCore
This is free software; see the source for copying conditions.
There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
$ /usr/local/bin/gprconfig
--------------------------------------------------
gprconfig has found the following compilers on your PATH.
Only those matching the target and the selected compilers are displayed.
1. GCC-ASM for Asm in /usr/local/bin/ version 13.2.0
2. GCC-ASM for Asm in /usr/bin/ version 11.4.0
3. GCC-ASM for Asm2 in /usr/local/bin/ version 13.2.0
4. GCC-ASM for Asm2 in /usr/bin/ version 11.4.0
5. GCC-ASM for Asm_Cpp in /usr/local/bin/ version 13.2.0
6. GCC-ASM for Asm_Cpp in /usr/bin/ version 11.4.0
7. LD for Bin_Img in /usr/bin/ version 2.38
8. GCC for C in /usr/local/bin/ version 13.2.0
9. GCC for C in /usr/bin/ version 11.4.0
10. G++ for C++ in /usr/bin/ version 11.4.0
Select or unselect the following compiler (or "s" to save):
/usr/bin:
$ /usr/bin/gprconfig --version
GPRCONFIG Pro 18.0w (19940713) (x86_64-pc-linux-gnu)
Copyright (C) 2006-2016, AdaCore
This is free software; see the source for copying conditions.
See your AdaCore support agreement for details of warranty and support.
If you do not have a current support agreement, then there is absolutely
no warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR
PURPOSE.
$ /usr/bin/gprconfig
--------------------------------------------------
gprconfig has found the following compilers on your PATH.
Only those matching the target and the selected compilers are displayed.
1. GNAT for Ada in /usr/bin/ version 10.5 (default runtime)
2. GCC-ASM for Asm in /usr/local/bin/ version 13.2.0
3. GCC-ASM for Asm in /usr/bin/ version 11.4.0
4. GCC-ASM for Asm2 in /usr/local/bin/ version 13.2.0
5. GCC-ASM for Asm2 in /usr/bin/ version 11.4.0
6. GCC-ASM for Asm_Cpp in /usr/local/bin/ version 13.2.0
7. GCC-ASM for Asm_Cpp in /usr/bin/ version 11.4.0
8. LD for Bin_Img in /usr/bin/ version 2.38
9. GCC for C in /usr/local/bin/ version 13.2.0
10. GCC for C in /usr/bin/ version 11.4.0
11. G++ for C++ in /usr/bin/ version 11.4.0
Select or unselect the following compiler (or "s" to save):
To find the ada runtime I used:
$ find / 2> /dev/null | grep system\.ads$
/usr/lib/gcc/x86_64-linux-gnu/10/adainclude/system.ads
I would expect both gprconfigs to be able to detect an Ada compiler because each toolchain has an Ada compiler:
$ /usr/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/usr/bin/gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/11/lto-wrapper
OFFLOAD_TARGET_NAMES=nvptx-none:amdgcn-amdhsa
OFFLOAD_TARGET_DEFAULT=1
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu 11.4.0-1ubuntu1~22.04' --with-bugurl=file:///usr/share/doc/gcc-11/README.Bugs --enable-languages=c,ada,c++,go,brig,d,fortran,objc,obj-c++,m2 --prefix=/usr --with-gcc-major-version-only --program-suffix=-11 --program-prefix=x86_64-linux-gnu- --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --libdir=/usr/lib --enable-nls --enable-bootstrap --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --with-default-libstdcxx-abi=new --enable-gnu-unique-object --disable-vtable-verify --enable-plugin --enable-default-pie --with-system-zlib --enable-libphobos-checking=release --with-target-system-zlib=auto --enable-objc-gc=auto --enable-multiarch --disable-werror --enable-cet --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --enable-multilib --with-tune=generic --enable-offload-targets=nvptx-none=/build/gcc-11-XeT9lY/gcc-11-11.4.0/debian/tmp-nvptx/usr,amdgcn-amdhsa=/build/gcc-11-XeT9lY/gcc-11-11.4.0/debian/tmp-gcn/usr --without-cuda-driver --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu --with-build-config=bootstrap-lto-lean --enable-link-serialization=2
Thread model: posix
Supported LTO compression algorithms: zlib zstd
gcc version 11.4.0 (Ubuntu 11.4.0-1ubuntu1~22.04)
$ /usr/local/bin/gcc -v
Using built-in specs.
COLLECT_GCC=/usr/local/bin/gcc
COLLECT_LTO_WRAPPER=/usr/local/bin/../libexec/gcc/x86_64-pc-linux-gnu/13.2.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: ../src/configure --prefix=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/gcc/install --with-build-time-tools=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/binutils/install/bin --enable-languages=c,ada,c++ --enable-libstdcxx --enable-libstdcxx-threads --enable-libada --disable-nls --without-libiconv-prefix --disable-libstdcxx-pch --enable-lto --disable-multilib --enable-threads=posix --with-gnu-ld --with-gnu-as --with-mpfr=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/mpfr/install --with-gmp=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/gmp/install --with-mpc=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/mpc/install --with-isl=/home/runner/work/GNAT-FSF-builds/GNAT-FSF-builds/sbx/x86_64-linux/isl/install --build=x86_64-pc-linux-gnu
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 13.2.0 (GCC)