Created attachment 908684 [details]
complete output of gprconfig with wrong target

gprbuild tries to use wrong target "armv7hl-redhat-linux-gnu" instead of "armv7hl-redhat-linux-gnueabi", which leads to gprconfig not finding any compilers.

$ cat foo.gpr
project Foo is
   for Source_Dirs use ("src");
   for Object_Dir use "obj";
   for Library_Name use "foo";
   for Library_Dir use "lib";
end Foo;
$ gprbuild -v -P foo.gpr
GPRBUILD GPL 2013 (20130314) (armv7hl-redhat-linux-gnu)
Copyright (C) 2004-2013, Free Software Foundation, Inc.
gprconfig --batch -o /home/oenone/test/obj/auto.cgpr --target=armv7hl-redhat-linux-gnu --config=ada,,
Error: no matching compiler found for --config=ada,,,,
Creating configuration file: /home/oenone/test/obj/auto.cgpr
Checking configuration /home/oenone/test/obj/auto.cgpr

==============Error messages for project file: /home/oenone/test/foo.gpr
     1. project Foo is
                |
        >>> no languages defined for this project

     4.    for Library_Name use "foo";
                                |
        >>> warning: libraries are not supported on this platform

 6 lines: 1 error, 1 warning
gprbuild: "foo.gpr" processing failed
$ /usr/bin/gprconfig -v --batch -o /home/oenone/test/obj/auto.cgpr --target=armv7hl-redhat-linux-gnu --config=ada,,
Parsing knowledge base at /usr/share/gprconfig
[...]
Language ada requires a compiler
Only compilers matching target armv7hl-redhat-linux-gnu will be preserved
create a new target set for armv7hl-redhat-linux-gnu
Completing info for --config parameters, extra_dirs=
  Will examine P /usr/local/bin
  Will examine P /usr/bin
[...]
  Foreach compiler in /usr/bin regexp=TRUE extra_dir=FALSE
[...]
    GNAT is candidate: filename=gnatmake
      target: executing "gcc -dumpmachine" output=<use -v -v> no match
      target: grep matched="armv7hl-redhat-linux-gnueabi"
      Target for this compiler does not match --target
[...]
Error: no matching compiler found for --config=ada,,,,
Creating configuration file: /home/oenone/test/obj/auto.cgpr


running gprconfig with correct target works:
$ /usr/bin/gprconfig -v --batch -o /home/oenone/test/obj/auto.cgpr --target=armv7hl-redhat-linux-gnueabi --config=ada,,
Parsing knowledge base at /usr/share/gprconfig
[...]
Language ada requires a compiler
Only compilers matching target armv7hl-redhat-linux-gnueabi will be preserved
create a new target set for armv7hl-redhat-linux-gnueabi
Completing info for --config parameters, extra_dirs=
  Will examine P /usr/local/bin
  Will examine P /usr/bin
[...]
  Foreach compiler in /usr/bin regexp=TRUE extra_dir=FALSE
[...]
    GNAT is candidate: filename=gnatmake
      target: executing "gcc -dumpmachine" output=<use -v -v> no match
      target: grep matched="armv7hl-redhat-linux-gnueabi"
      version: executing "gnatls -v" output=<use -v -v> no match
      version: grep matched="4.9"
      variables: executing "gcc -v" output=<use -v -v> no match
      variables: grep matched="4.9.0"
      languages: constant := Ada
[...]
      Done search directories
      Saving compiler for possible backtracking: Ada,4.9,default,/usr/bin/,GNAT (matches --config ada,,,,)
      Selecting it since this filter was not matched yet  1/ 1
Parsing knowledge base at /usr/lib/gcc/armv7hl-redhat-linux-gnueabi/4.9.0
Creating configuration file: /home/oenone/test/obj/auto.cgpr