Misconfiguration of gprbuild

[Rolf Ebert <rolf.ebert@gmx.net>]

I think I found an error in the gprbuild package on Debian bullseye.

The utility gprlib is installed in /usr/lib/gprbuild/gprlib.

Almost all but one references to this utility in 
/usr/share/gprconfig/linker.xml read:

$ grep gprlib linker.xml

   for Library_Builder  use "${GPRCONFIG_PREFIX}libexec/gprbuild/gprlib";
   for Library_Builder use "${GPRCONFIG_PREFIX}libexec/gprbuild/gprlib";
   for Library_Builder  use "${GPRCONFIG_PREFIX}libexec/gprbuild/gprlib";
   for Library_Builder  use "${GPRCONFIG_PREFIX}lib/gprbuild/gprlib";
   for Library_Builder  use "${GPRCONFIG_PREFIX}libexec/gprbuild/gprlib";
   for Library_Builder  use "${GPRCONFIG_PREFIX}libexec/gprbuild/gprlib";
   for Library_Builder  use "${GPRCONFIG_PREFIX}libexec/gprbuild/gprlib";
   for Library_Builder use "${GPRCONFIG_PREFIX}libexec/gprbuild/gprlib";
   for Library_Builder  use "${GPRCONFIG_PREFIX}libexec/gprbuild/gprlib";

I had to link /usr/lib/gprbuild to /usr/libexec/gprbuild to make the 
library builder work for the ESP32 cross compiler

Regards

     Rolf

Attachment: OpenPGP_0xEB7CEC380AF27C14.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature
Description: OpenPGP digital signature