diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-12-24 14:11:38 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-12-24 14:11:38 +0000 |
commit | de49812990871e1705b64051c35161d5e6400269 (patch) | |
tree | 5e1e8fcb0ff4579dbd22a1bfee28a6b97dc8aaeb /dev-lang/gnat-gpl | |
parent | 536c3711867ec947c1738f2c4b96f22e4863322d (diff) |
gentoo resync : 24.12.2018
Diffstat (limited to 'dev-lang/gnat-gpl')
-rw-r--r-- | dev-lang/gnat-gpl/Manifest | 5 | ||||
-rw-r--r-- | dev-lang/gnat-gpl/files/gnat-gpl-2016-profile.patch | 113 | ||||
-rw-r--r-- | dev-lang/gnat-gpl/gnat-gpl-2016-r3.ebuild (renamed from dev-lang/gnat-gpl/gnat-gpl-2016-r2.ebuild) | 2 | ||||
-rw-r--r-- | dev-lang/gnat-gpl/metadata.xml | 5 |
4 files changed, 120 insertions, 5 deletions
diff --git a/dev-lang/gnat-gpl/Manifest b/dev-lang/gnat-gpl/Manifest index ee2e4f46277a..95709217af43 100644 --- a/dev-lang/gnat-gpl/Manifest +++ b/dev-lang/gnat-gpl/Manifest @@ -8,6 +8,7 @@ AUX gcc-spec-env-r1.patch 3148 BLAKE2B 30ceb113a510092a907b445c4b2131f148f7fef54 AUX gnat-gpl-2016-bootstrap.patch 2698 BLAKE2B 2fe9519590f0870aa201d550e027eaec311961c07b62f470d77f1de125fdf81cab6f884f08dfd8b957b7c2880ad04a7400f3fb395f5404d6c467373042e2fb0c SHA512 c712234b87aa66379bc52b43bce31a2dfd8de996030588a26261bb08471cd6e92587bc5aa35bb8f776a5128b1deb524e37aebe1c0b970a98210d653b5094d95b AUX gnat-gpl-2016-finalization.patch 8125 BLAKE2B dae1c3f3bc98c6d4e56388888576487af5df0aab3d68bd30b991e9a87d49411592acbab989739c02b27a5789087d8913a0b8ab1764ce01e7709f9838e42232a2 SHA512 b304cebf1461fb50dc9a3e3e7a87f25474d7e10e483226bef6c1de576f0f59d83e2f0a048fab17c3772865770b34f3e7f67ec70f5cd60ea2db4314d7f6d45e6b AUX gnat-gpl-2016-gentoo.patch 2811 BLAKE2B 495e66d5fb3c184be946269a9f360bfaf8dc2b6b38449a74a7ec61ac9c1c3790833480f1f9614e8e152d9fab45366c7284747c3f05891c77812aa14248671644 SHA512 ba147b3cb4374eb3c8fe530b92a5ffa564170d8df26dc455a48dae3ec92ca0fee9525cb67229855b34c8b8d48a985a083f7ea70ec2b4d13f652296f04c03e4a0 +AUX gnat-gpl-2016-profile.patch 5593 BLAKE2B fe874e0543be671a9ede195c3cb01b9902357df4b412eaf3bf300bf032abd6e0a26fe2fd0dc0e71528ce9a6e454b83d9621a437c9efab629086f354eb1b3ff9f SHA512 ea45d2fcf98f4859676afb01439639e54e30cced8dbaf12fd9562dd805bd35ed2711a618834fe3acc8ad855386e58c9aeed007d046e300b60bbe6155d07386b7 AUX gnat-gpl-2017-gentoo.patch 4510 BLAKE2B 468059269978e5bbf85d09f2d4086c5fade1f7cdb4c14e9a12b596a96b3cf93e0bf894cf77ef2f81dd56b3aa2e7dc65c8642f7b688ec7cf8514152051e33564f SHA512 48ed94e3e5a2473f98ac6877640f64fc5e5a705a95e0c92a2d19b6a77597e49e77ed409af15302fba0c2403b38c13847c6eeb1f4626f57bc3c128f542dfaa893 AUX gnat-gpl-2018-gentoo.patch 634 BLAKE2B 949911111848fd4834de4b3a0d93d6f617b4ae05f9911564a01ab377c5715dfe21ec33c94c5d52815ad2a636809ce01b617cd8a2f132783b084bafc6c4265ead SHA512 f4a541780b6d00af32d38b71ce6a39516aff9c2df15429c40d297ebba03ab148786aa0f1218b90aedb36eb36a9c4a490b52883e3830a5e58bfc5d22987c00ece DIST ecj-4.5.jar 1470676 BLAKE2B 793c10ba09fd8040c0e1181204141aea16780c9c9088e07126e00da2b510af2ad6f58d876357d7e98cbb02d783a3be434469d5de1df134ccb8cc508e45028d80 SHA512 d4e1bf7538ace56e3d69fa91da5bbd16c272923b4de0a9d8dee23ea2b75f9f38c603de72fc4061df49285c450b63f3df211cee5270e9fffc5447445d1a9c9e4e @@ -31,7 +32,7 @@ DIST gnat-gpl-2014-x86_64-linux-bin.tar.gz 236253400 BLAKE2B c1db70db9442ba24688 DIST gnat-gpl-2016-src.tar.gz 8857249 BLAKE2B 3ff0fe247990e2a612ac989aa389e9ccae2e29c16177975c327b53ae1471030d0a70e5a2e3af219ad9a3288c241f2d18da349d0650f7fde01d439f4e4720de88 SHA512 4a5cb58ede5b4ae2887e64f0f2e12e0e06470d320796f06d02f7ddd932ff0d3b40e6d3e98a81138fff6906548a55153c2a186ff4a6e3d23b9dbe01ca582da1f8 DIST gnat-gpl-2017-src.tar.gz 8783473 BLAKE2B b0415b42f4d3a5e8675591a5602ff0a96945670104064671a232c0c12271ee141a3a5d148b8507bdab83cb8a0677c57b78e690060088308c51732bad3715964f SHA512 ae7314a2241107ed4d962dce08306eeb34c5f11e26183935bbb1ccf3a5eb011d6457c1b6fcded93dd0ee9ba31d791971ebe2a5a5a0ae04ff80d87a670325a098 DIST gnat-gpl-2018-src.tar.gz 8706578 BLAKE2B ba245fd91cc5263d5b8c159d9e75caf6bed21dcaa5fa43734af8775a4008ce5f96bfb84a8b5e6e734ff883314ab3219dacec3fe95a5baa33fb712bfb5ff8bce8 SHA512 0ff7e848ef77f7e772e2a1b01905307a91c332f32329456f5238c4b7eb46cc118709e8682a5fc826d98a7d99fd15a92c194f4a278f04bc465165cfa616cc3c2e -EBUILD gnat-gpl-2016-r2.ebuild 5759 BLAKE2B 455b0fb15a18a170a6358724afa4a350cbb8016106f77becb9cd9f7e1d231facf6caccbd7552d7dc0ddd3d46e2dbbbfb1fc2c4c208413de80cc9a6e5d2b15582 SHA512 e6e18e7bd565ef4816fde987042624641be986b5de0192ecc8c58152a464f88f4a396ac99a8a9c24a6b384d01559b73daffd7e468655f7229c81ad363941e180 +EBUILD gnat-gpl-2016-r3.ebuild 5843 BLAKE2B c7878a2fc6f24724039124ea8167e4b6709f7897772cdf181d8b868deb25df7a106a4b0d22f52d008ec340f67471cb25e4522f0282140d1fa1294d2e98bdd4c1 SHA512 bd955748b1648c9e3ab446e560a9696efc10e7d185d1e90835bb01da5b5d18b658acec76a4f84e45e09de0d148c5b83a2048849bd42536270599fa21dd92adac EBUILD gnat-gpl-2017.ebuild 4916 BLAKE2B 63c46822894529952dec8f45723b09e590c69269bfc4b3408dc6d720fa72b574956aa3e2a8adc51c400baf02414454d3153022e59cb69ebb4c5c9214fefcc40f SHA512 3d7d6b8fac5e9d0be36df050451a959437796d63f30a678d756af7e9aa5a036d13d2a25a2dcbd16aee799c44cb41ade35ca5771a43dc779ec74d341cd835d99b EBUILD gnat-gpl-2018-r1.ebuild 4999 BLAKE2B 3c9bfaaeab7166d326a87301baee8c151462726fcf61af58dbd9921cbfc5dafa78205c0169e2a54f14a568ce1d958980b2d20113daa65ce10cc7a60328ed0d1b SHA512 4daba04ee89a83dbebb325955dd47c54468fd5a33c56370be432553b47a0fd27df408d62b70af4321bad69b9e51463d4e6cfba7f24480704bf4c6b30d01c971a -MISC metadata.xml 1960 BLAKE2B e66552f4c0655619e736b6af14822d84e6c49aa6c019cb8c8b0e215629f9c8ab68aa55758639e35107120a39c578d82e1036bc0be82ff67728104f44c875d107 SHA512 04f14bcdd96ae4f6e285abfd07de89828eb989ce779aa59decf689920a179d859ffe809d7960e9c3599c2f6fff6ab2aafbb54458da07fa91841c61e0dfca47ab +MISC metadata.xml 1928 BLAKE2B b1caee350b6656a838a0f83698760edfa7f53d0715a3ce18f443c5bef26827ccf9a858a918a8822b89a2fa70e34cb282ddcd9f0746691a0f10cbda4b368ac1ac SHA512 bd0b8cb4961903f004fb2d5fdd260e6b15936730148d192edf4e59b04c5f1dc991940069edc02b38f859ad1470e16e028c122403043a4f99ba7af753085867fd diff --git a/dev-lang/gnat-gpl/files/gnat-gpl-2016-profile.patch b/dev-lang/gnat-gpl/files/gnat-gpl-2016-profile.patch new file mode 100644 index 000000000000..561c012a23e6 --- /dev/null +++ b/dev-lang/gnat-gpl/files/gnat-gpl-2016-profile.patch @@ -0,0 +1,113 @@ +--- a/gcc/ada/s-rident.ads 2018-11-18 18:47:39.042412895 +0100 ++++ b/gcc/ada/s-rident.ads 2018-11-18 19:02:31.736559044 +0100 +@@ -378,15 +378,17 @@ + type Profile_Name is + (No_Profile, + No_Implementation_Extensions, ++ Restricted_Tasking, ++ Restricted, + Ravenscar, + GNAT_Extended_Ravenscar, +- Restricted); ++ GNAT_Ravenscar_EDF); + -- Names of recognized profiles. No_Profile is used to indicate that a + -- restriction came from pragma Restrictions[_Warning], as opposed to + -- pragma Profile[_Warning]. + + subtype Profile_Name_Actual is Profile_Name +- range No_Implementation_Extensions .. Restricted; ++ range No_Implementation_Extensions .. Profile_Name'Last; + -- Actual used profile names + + type Profile_Data is record +@@ -456,6 +458,40 @@ + Max_Task_Entries => 0, + others => 0)), + ++ -- Restricted_Tasking Profile ++ ++ Restricted_Tasking => ++ ++ -- Restrictions for Restricted_Tasking profile ++ ++ (Set => ++ (No_Abort_Statements => True, ++ No_Asynchronous_Control => True, ++ No_Dynamic_Attachment => True, ++ No_Dynamic_Priorities => True, ++ No_Entry_Queue => True, ++ No_Local_Protected_Objects => True, ++ No_Protected_Type_Allocators => True, ++ No_Requeue_Statements => True, ++ No_Task_Allocators => True, ++ No_Task_Attributes_Package => True, ++ No_Task_Hierarchy => True, ++ No_Terminate_Alternatives => True, ++ Max_Asynchronous_Select_Nesting => True, ++ Max_Protected_Entries => True, ++ Max_Select_Alternatives => True, ++ Max_Task_Entries => True, ++ others => False), ++ ++ -- Value settings for Restricted profile ++ ++ Value => ++ (Max_Asynchronous_Select_Nesting => 0, ++ Max_Protected_Entries => 1, ++ Max_Select_Alternatives => 0, ++ Max_Task_Entries => 0, ++ others => 0)), ++ + -- Ravenscar Profile + + -- Note: the table entries here only represent the +@@ -509,6 +545,49 @@ + Max_Task_Entries => 0, + others => 0)), + ++ GNAT_Ravenscar_EDF => ++ ++ -- Restrictions for Ravenscar = Restricted profile .. ++ ++ (Set => ++ (No_Abort_Statements => True, ++ No_Asynchronous_Control => True, ++ No_Dynamic_Attachment => True, ++ No_Dynamic_Priorities => True, ++ No_Entry_Queue => True, ++ No_Local_Protected_Objects => True, ++ No_Protected_Type_Allocators => True, ++ No_Requeue_Statements => True, ++ No_Task_Allocators => True, ++ No_Task_Attributes_Package => True, ++ No_Task_Hierarchy => True, ++ No_Terminate_Alternatives => True, ++ Max_Asynchronous_Select_Nesting => True, ++ Max_Protected_Entries => True, ++ Max_Select_Alternatives => True, ++ Max_Task_Entries => True, ++ ++ -- plus these additional restrictions: ++ ++ No_Calendar => True, ++ No_Implicit_Heap_Allocations => True, ++ No_Local_Timing_Events => True, ++ No_Relative_Delay => True, ++ No_Select_Statements => True, ++ No_Specific_Termination_Handlers => True, ++ No_Task_Termination => True, ++ Simple_Barriers => True, ++ others => False), ++ ++ -- Value settings for Ravenscar (same as Restricted) ++ ++ Value => ++ (Max_Asynchronous_Select_Nesting => 0, ++ Max_Protected_Entries => 1, ++ Max_Select_Alternatives => 0, ++ Max_Task_Entries => 0, ++ others => 0)), ++ + GNAT_Extended_Ravenscar => + + -- Restrictions for GNAT_Extended_Ravenscar = diff --git a/dev-lang/gnat-gpl/gnat-gpl-2016-r2.ebuild b/dev-lang/gnat-gpl/gnat-gpl-2016-r3.ebuild index ff06786dc4d5..b9eabc786360 100644 --- a/dev-lang/gnat-gpl/gnat-gpl-2016-r2.ebuild +++ b/dev-lang/gnat-gpl/gnat-gpl-2016-r3.ebuild @@ -144,6 +144,8 @@ src_prepare() { epatch "${FILESDIR}/${P}-bootstrap.patch" # add Finalization_Size Attribute epatch "${FILESDIR}/${P}-finalization.patch" + # add profile for gnat_util compatibility + epatch "${FILESDIR}/${P}-profile.patch" toolchain_src_prepare diff --git a/dev-lang/gnat-gpl/metadata.xml b/dev-lang/gnat-gpl/metadata.xml index 5018efb098ac..1e9066797159 100644 --- a/dev-lang/gnat-gpl/metadata.xml +++ b/dev-lang/gnat-gpl/metadata.xml @@ -1,9 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>tupone@gentoo.org</email> - <name>Tupone Alfredo</name> + <maintainer type="project"> + <email>ada@gentoo.org</email> </maintainer> <use> <flag name="awt">Useful only when building GCJ, this enables Abstract |