Hello. Policy mandates that packaged library projects live in /usr/share/ada/adainclude. Ludovic has stated many times that this choice was quite arbitrary, and could be modified if necessary.
Now, gprbuild and gprinstall hardcode /usr/share/gpr. I am patching them to also accept our path for a while, but in the long term the proper fix is probably to change the policy. Ideas?
