From: Tupone Alfredo <tupone@gentoo.org>
Date: Wed, 20 Dec 2017 07:53:28 +0000 (+0100)
Subject: dev-ada/gprbuild: remove /usr/share/gpr to the project dirs
X-Git-Url: http://git.tremily.us/gitweb.cgi?a=commitdiff_plain;h=c2e51c26146fb1db9aebb9dfaf138f619c7d25cd;p=gentoo.git

dev-ada/gprbuild: remove /usr/share/gpr to the project dirs

Package-Manager: Portage-2.3.13, Repoman-2.3.3
---

diff --git a/dev-ada/gprbuild/files/gprbuild-2017-gentoo.patch b/dev-ada/gprbuild/files/gprbuild-2017-gentoo.patch
index d6d4ff97c2b6..3f74f808e0ac 100644
--- a/dev-ada/gprbuild/files/gprbuild-2017-gentoo.patch
+++ b/dev-ada/gprbuild/files/gprbuild-2017-gentoo.patch
@@ -21,17 +21,6 @@
  
                          end if;
                       end if;
---- gprbuild-gpl-2016-src/gpr/src/gpr-env.adb.old	2017-11-13 22:16:53.349083426 +0100
-+++ gprbuild-gpl-2016-src/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;
 --- gprbuild-gpl-2017-src/gpr/src/gpr-names.ads.old	2017-11-19 13:09:18.947527738 +0100
 +++ gprbuild-gpl-2017-src/gpr/src/gpr-names.ads	2017-11-19 13:10:08.125654595 +0100
 @@ -27,6 +27,8 @@