dev-ada/gnatcoll: Enable build with gnat_2016 & remove old

Signed-off-by: Alfredo Tupone <[email protected]> Package-Manager: Portage-2.3.51, Repoman-2.3.11
hanetzer · Nov 17, 2018 · 2ea89c2 · 2ea89c2
1 parent 846a33b
commit 2ea89c2
Show file tree

Hide file tree

Showing 5 changed files with 49 additions and 577 deletions.
diff --git a/dev-ada/gnatcoll/Manifest b/dev-ada/gnatcoll/Manifest
@@ -1,2 +1 @@
-DIST gnatcoll-gpl-2016-src.tar.gz 5687584 BLAKE2B 0ff5489f3e02ceeb44292f0d13907959884a55ec8f00fcadb21ee4e8a07f863a3bae3c7ae18d3fc669895a76b5f8f495699d31af71940a5abd32b156ad5fe247 SHA512 8cf06e7c5d58d3b159855534791e7969882e04856ba9d03982a63dcfc630f5b5910c6cad57fec9b00c3d04008b0cb0a1fb238e349766348fa4548868238ede8a
 DIST gnatcoll-gpl-2017-src.tar.gz 5785988 BLAKE2B 828aff797f7d992bf3f5dda7f8ce8a79e97ecd98253a657fb6e79a2fd08aac97e19cb421f47010f8c1f26442a013b9126ab3a95353d9ce0f29d071601e9dfe2f SHA512 e8b7f2c00816597f33496168bf8928841a2037e517908810761849e23633b2c229d47e4bfaa808e5a619da52bc165f17b8aefa5dee39ecf1a6773b3b1db80363
diff --git a/dev-ada/gnatcoll/files/gnatcoll-2016-gentoo.patch b/dev-ada/gnatcoll/files/gnatcoll-2016-gentoo.patch