commit: c2e51c26146fb1db9aebb9dfaf138f619c7d25cd
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Dec 20 07:53:28 2017 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Dec 20 07:53:28 2017 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c2e51c26
dev-ada/gprbuild: remove /usr/share/gpr to the project dirs
Package-Manager: Portage-2.3.13, Repoman-2.3.3
dev-ada/gprbuild/files/gprbuild-2017-gentoo.patch | 11 -----------
1 file changed, 11 deletions(-)
diff --git a/dev-ada/gprbuild/files/gprbuild-2017-gentoo.patch
b/dev-ada/gprbuild/files/gprbuild-2017-gentoo.patch
index d6d4ff97c2b..3f74f808e0a 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 @@
