gentoo-overlay/dev-ada/libgpr/files/libgpr-2020-gentoo.patch

--- a/gpr/src/gpr-env.adb	2017-11-13 22:16:53.349083426 +0100
+++ b/gpr/src/gpr-env.adb	2017-11-13 22:17:22.692590351 +0100
@@ -1948,6 +1948,8 @@
 
       end if;
 
+      Add_Directories (Self, "/usr/share/gpr");
+
       if Gpr_Prj_Path.all /= "" then
          Add_Directories (Self, Gpr_Prj_Path.all);
       end if;