summaryrefslogtreecommitdiff
path: root/dev-lang
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/Manifest.gzbin22308 -> 22307 bytes
-rw-r--r--dev-lang/ada-bootstrap/Manifest34
-rw-r--r--dev-lang/ada-bootstrap/ada-bootstrap-12.ebuild121
-rw-r--r--dev-lang/ada-bootstrap/ada-bootstrap-13.ebuild121
-rw-r--r--dev-lang/ada-bootstrap/ada-bootstrap-14.ebuild6
-rw-r--r--dev-lang/eisl/Manifest2
-rw-r--r--dev-lang/eisl/eisl-5.39.ebuild2
7 files changed, 280 insertions, 6 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index b9b93e8a79f2..7d920f5fa38b 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
Binary files differ
diff --git a/dev-lang/ada-bootstrap/Manifest b/dev-lang/ada-bootstrap/Manifest
index 8a3d0b450295..df1dc047c805 100644
--- a/dev-lang/ada-bootstrap/Manifest
+++ b/dev-lang/ada-bootstrap/Manifest
@@ -1,4 +1,34 @@
AUX ada-bootstrap-0_p2021-gentoo.patch 2615 BLAKE2B 16607a3a88edc6918f077171b424b86a0d696bd0897405a466b62937f74371d23efcf3477b3f106d6e19a8e15d8366c98fbbd92c588ffdc24e4bee3975d6bc42 SHA512 27b6a4907dfd80f6af950141b27e8acc5b2868a9414e9215c001a107479a0ddc54e35a6221a7d349070023e41a448029414d9f6d092fcd7a59b7d6aaee80e3bf
+DIST ada-bootstrap-12-aarch64-unknown-linux-gnu.gpkg.tar 37099520 BLAKE2B 408e38b64fa027098b7d815a43c10306735449f947f0b10e2d3014bac4b76e3dd834097529e6b7ca10d83f27acb3b3ef8bfe1faae498407bd306d8cb67341a37 SHA512 c6366169012c463ca10fe560bd1c33f9b147f7a6e1c025954d7f5ac1ba8fb2a4ebf0eac5fa76bfc295bb3a1f74bc98a96773b2bcc55672405b576e0854b1088f
+DIST ada-bootstrap-12-alpha-unknown-linux-gnu.gpkg.tar 38246400 BLAKE2B 5ed3e1e5dd6e356142df2062897dc856ccfbbc076d8aa479b81a8a0831a6f4a70a8b09827ea7b569ac5085d75a07a50d18eb682d2c3421fd29743c3260bfe102 SHA512 ab212c3a92384290b40702fb396fbe85fa118c1304617a7a2ddc475b36e9410c0588b88c038a4e7bb9e12610e3d65513efc5cb7189fd131d2472c2768e6ba19a
+DIST ada-bootstrap-12-armv6j-softfp-linux-gnueabi.gpkg.tar 28948480 BLAKE2B e65b455718c5d70e5eb17ed09067e8eb5a4a901065da1f7c0a6f2818756b2a684de7a3d2aecd046c0e92e5b6282dd080a9d10772a79e3a0b58ba5e2a1a5ee21f SHA512 a3034c2937ba6f61518f789e237f4f3759c7acdcdd994914c891a3543b7e6540190a694cb6f7af73f2abdaf57f43ee54bb098a3d83afdcb66224413a871fb15f
+DIST ada-bootstrap-12-armv6j-unknown-linux-gnueabihf.gpkg.tar 28733440 BLAKE2B 3284df86d30cdde59bc6aedbc62022288acb4ea9d384050382071472b8f1e536fd0d55125cf9d73f2a616c7adcc8ad107f061c0e9c966988e584d12ac507e74c SHA512 bab67cfbd623996e9e095c5ab95b380020f8517bc3815976d6274ce802ef175438afc348b36ce8e6631b7fc62d51ed5af8f57748457d304e1590006399ea656d
+DIST ada-bootstrap-12-armv7a-softfp-linux-gnueabi.gpkg.tar 28579840 BLAKE2B aecc4661c3de5ebc1b6c271efc018d52707f727cb2a1af7168621937ab35c58bd5da788f2b8e3993e8b1d8b45b957026ce02b12cfd28a3afd4891572a8e315a9 SHA512 4eb43ecfadbc6cbe57be312567c049ffb6a4b955692f081ddf896d1f9f19140631c2bf65596f69677e8f6bdecc82ec79aee8a9da6d94d7291a9ff925597d074a
+DIST ada-bootstrap-12-armv7a-unknown-linux-gnueabihf.gpkg.tar 28426240 BLAKE2B 2b98f358f327ce4114cf91bcf21973d173dcfafeb0b509f5dddc41d4911015c17d41029aec615f415606c009dfd506989e28ba83822fa31fc027393664a4d776 SHA512 bc2c28e8d776ae57a9a6689ef112df26d0e2a817f8e3d8c55c80c9509bcb710cd5052cec090c8d062a4c1711b2449282fb8821ae375c1b235d436f25a475c414
+DIST ada-bootstrap-12-hppa1.1-unknown-linux-gnu.gpkg.tar 29132800 BLAKE2B d66b5a47521ec1a152f3f805a3e2e8d7d87780412171cd58f4a37e094332a96ab5ccbd7ac4fb97470174249c9ac295ac65c39efb2bf7e248cbbba9851dd4775b SHA512 9bcbd6f99dd541f0eaa9c08bc616da577d54e01afa4d3f1e4174c8aa40c8d19c49253c7b686eee85d1ee0a1bf396783f064646a36f037b78eeae9103f58ef660
+DIST ada-bootstrap-12-hppa2.0-unknown-linux-gnu.gpkg.tar 28897280 BLAKE2B 77ef1f368083d190ca1322c601b5d7300a7f653297e28aa05d37c41b8885109d471d664de4b2e71e9889d0e2cc02c73fa832404e490a2ebf4d6714d4ecd30028 SHA512 2756b14dcd2f1fe9c8a23ea86d18ea04e59d3e5dff0433aff97dc7aa70562f9311922fece3ed75ec5339b8ead14cd14a7f8557bde4d42568a9adb0feb43ed4ce
+DIST ada-bootstrap-12-powerpc-unknown-linux-gnu.gpkg.tar 25845760 BLAKE2B 61fcae620cb16b9f6be90d02b112f13283e746dfaea02693971e5cecc2a105d9c04a08baf34c96a43c09da3de25c57aa7ca0e7077affe49503d794e63539f099 SHA512 d19b4457f0581b8b49f209ded27789622c34cc95f605fe02e1f96250cfc45207d7fbf38ce53057ba7cd638bcc99febe347b582995f1afa480122d64454b5aa8f
+DIST ada-bootstrap-12-powerpc64-unknown-linux-gnu.gpkg.tar 30289920 BLAKE2B ec177ccca0115da4a15e8ffe3ddb13e04ffbdd14098aaa5f1a48182c809823ea00b9ce45cf83565d8666bcdb3a5313b8294e488cf4162a85ae1e3336024709bb SHA512 4598fff58a87360b5eacfaceea4de1bf3167a41a7063a964e71ce91bd849090376b77fe352cf2521afffc35f2b6e5d28157ac822018f4e5ea444a1e91a1eaf2f
+DIST ada-bootstrap-12-powerpc64le-unknown-linux-gnu.gpkg.tar 30167040 BLAKE2B e6093fd663714c05ed77ba320997c17cd8f3d1de5e3200c7429a87f0ae7895a880653f1af69a0646ea420becb21dd07a79eeb6ad52b858a84ca454e08a979912 SHA512 0e29b47e971c7722e457b373993a4168b82edadd941aa74292a5638e5a3a8030753c5052c500f376bfc756d7d0798fdc425f6a1e4b034683162325566256dc08
+DIST ada-bootstrap-12-riscv64-unknown-linux-gnu.gpkg.tar 35594240 BLAKE2B cf810466f05fd495e2094a3518d79bfd120ff574d045f3930bc4a0dfa77febbc60c335774ac7af40940c9248b11bc7372e3b49a6164175e93f33c3adf07863e0 SHA512 041b247ea08f4739a2933d0b78aa164ac294cb1c627c19af560f52fe6f1c9130836c1810703a83ed9d67c79004ef922d3e48e8cba43889bcc945b98153d85d5b
+DIST ada-bootstrap-12-s390-ibm-linux-gnu.gpkg.tar 24535040 BLAKE2B 5933ef5d17d5fe65e3be538e25d5a13144d5debcca1cc1346051df266065bb4d4c16ba5ea5c7206ab34fede09c1c364ce1fe5770e3b9fe37fb007e59449ebe40 SHA512 bc040b816260e6e4e6fa297ff7a595f3ecd11e49b08565f0fee6d3ce2c9ea64fda6c559506db8ebfbfc07211cff5d2386407032f1e58d408ae11db2db450ef8d
+DIST ada-bootstrap-12-s390x-ibm-linux-gnu.gpkg.tar 25466880 BLAKE2B 3960c1d8c5723e82257b4ebf4c154757ba7e8c4fdebde912d25b00f37304e626f2fc8d2c9cb1b8a2e6d15331a2c0828d1b004d67f2d4401613127dbb0289f261 SHA512 4c9c46055914617d46327b70b21861cefee7ffc06651aab5b3ebf64e27f11ec576bffbcf84ab64b28e0a4e0f98e8fdfea6be9896e36cee4453bd66d36711c60e
+DIST ada-bootstrap-12-sparc64-unknown-linux-gnu.gpkg.tar 23060480 BLAKE2B b4655c7958fe98179ab55b46b71db66caee430b27400ccb9ee8f67ae39edad0354381af2fc1c426b82870c82969d4f5b2208e4ba06dc5b161986dbacea32ecf4 SHA512 5a4f86bd8ce616c46478dd90e3c63b37c4c3838b5944afc0bb1a67d4a394b103fce037dacbdb7faee190f44f2b93f89c5f76bf7f1a4620c54afce84078fccf97
+DIST ada-bootstrap-13-aarch64-unknown-linux-gnu.gpkg.tar 39895040 BLAKE2B f76ece756dddc2cb4b776d14d088b9e9e61c6342b26d4b0fc1778b894e195a06c514678e9ae8dc448102aac2c8ec6f45ee59137bcae73beca46e12ac897f473d SHA512 6edb8b557f567bfce837063aa7eb28a420d3d7a0b7aa8c15dbb71931715ddb9c8cd890cfee072b606c8bd16371efc3aec56d9090f70dbf249e91c64c3a27349e
+DIST ada-bootstrap-13-alpha-unknown-linux-gnu.gpkg.tar 40355840 BLAKE2B 054d9d6d732eea3354e5714d191a4b3f27dcdcdbcf65aebfc04b71d8833757fcef7fe4ac2bebbd414e8a5b3502eb2ef245e65dc952883781b89757438c05fa14 SHA512 2531c61b99c25c09d2b84fde1b7da7c1e0b9884d3782caec63f27c8d0a92d0e5a3873d2f5ab1a624ec0989431017e6ca32b3b855e75cb333bb7ddccd564e2c8b
+DIST ada-bootstrap-13-armv6j-softfp-linux-gnueabi.gpkg.tar 33945600 BLAKE2B ab235b364db3567fb0f448414129d8983fe7f9c93e955ef86c961f481654aa09cbd9c18e2a7d31b7452da89edac74a8df2346d8a703b277ff913d955e6495f3f SHA512 3103c9b8ae3db9ef369455ac06c1f33bc7bd18e7f290c54fc4b858ff795c8cfdf5bc67bf3c2211b643f73587ce3e04b6a4617bae3d42b98e929787eee57a1d76
+DIST ada-bootstrap-13-armv6j-unknown-linux-gnueabihf.gpkg.tar 33720320 BLAKE2B 6df26999e7d6afb6eac01ad2cd271c85df2200bc85a8ec9383fd26cedbfec8cadabdf3d2c226d42594b2c0e10a7bbcbdb408adc0de06427a42dd3e28178de30e SHA512 b0c83c4f4e966ac3aaa9c1c39325e78f9a1800baf6cc5bb251f68d965316b06c74e3e174f1645769dad182866ae65db996fed23473abab3290ba44f4957a461a
+DIST ada-bootstrap-13-armv7a-softfp-linux-gnueabi.gpkg.tar 33515520 BLAKE2B 7c4196c4378cb9f05d7daa6bca735828f82793ee38b4a2ca1306d871fecb7e7ed64a3bfa14eba6ad7d52e8c48dedec67e8d5ea2fb1b06cfd4583dce32deb5144 SHA512 7f2ae11d6ca32771e3c69542a62f26e61316f1cd08541ac6ea8075c487a89f4fc9b72477876b95e88baedae7f98274bab235c66360f90bfce346ca427496a372
+DIST ada-bootstrap-13-armv7a-unknown-linux-gnueabihf.gpkg.tar 33290240 BLAKE2B 457ab21565b5979c450245f10962ce157c638857bc01accb41825db93b71d213be93dfa786989ec6e5d0b9ab8e8a810b4b72e6c45d4871dd98d85a8ad2226775 SHA512 8400c4ce69a4b9576ffdf07a3473ca384b65367ed39f40169ea4773c328c6004e82c87a2365d4eb39a41ddf785a1a7708daae40b37d59f92c3f93080dec44509
+DIST ada-bootstrap-13-hppa1.1-unknown-linux-gnu.gpkg.tar 32563200 BLAKE2B 5d94fe1a243bdcd78292443ad963f41f7d4a8d08643dfbde05f87a2e7408515316ab4fe5b51a02c863dc0259f68791349d8a3a6cb84a76cbe3adf59f0814b356 SHA512 5ed875bf53bb8bbf0e57ac2a19aefaa4e9ccf26c2c63cb38b564423dac20056655d5055f6f9f72e0606a03c5eb625d098090e261b37bc911af56ee7d1fc51c9b
+DIST ada-bootstrap-13-hppa2.0-unknown-linux-gnu.gpkg.tar 32368640 BLAKE2B 1c608e26b7c224617a2c3967380cb2ab74e592648c943df6bfa7dacfd0b30df089185e46620f41c3ec82f610033a5eb6202792c654d7d278259e952ccba12fdf SHA512 e9d56aee05c1a2717f54b17322b90693c36ee6b285a7c9d7837a19dcd3c434bf3ef37bb6faeb9b3b9849545db21d9e110e84c27bb4f7e9386bc32e67af414a93
+DIST ada-bootstrap-13-powerpc-unknown-linux-gnu.gpkg.tar 27207680 BLAKE2B bd9971c4e86267bfe4b45421d33eeec324392c9980dcc3fc204a0e9d5ee7856f565732de50d749c14aaba7a1c52752d31ed5a985945deb76aa22110e94ca376e SHA512 b83beafa56eda356755c2519d255ca0ff17b9511a809dc814b63263c4bfd812478e700beb25e1968e336565d0d16c754d286d65560721f9d69c4aa7e0a3921e2
+DIST ada-bootstrap-13-powerpc64-unknown-linux-gnu.gpkg.tar 32655360 BLAKE2B 6cd924dcf41884b1e895097b9e514550e421358aad5c4879423a186f17a37c7d6e8f00c10ea037dc5830101435935cfe5b29f4e3803c7b73eddc8a6dff82be6b SHA512 a36a5cb229e21018aa3ea733ae81ca86d6fe6a719ae6166ed773d5cf9b2d423b9d67c97c75e89d85e401aab85bf81eb2560c36ba88471766b60e5805c3d00a35
+DIST ada-bootstrap-13-powerpc64le-unknown-linux-gnu.gpkg.tar 33751040 BLAKE2B 5c4457c290486d2740f04e4269cc214ce8ad80c22d3416c364161b1ccf117bce11afdaa5716a89aff7b5f3f863648e753f40fb1bf107bf1b89ab04916f0107fa SHA512 5b7c715ad7cd550460e26414382c06fd154b73ffea405df64d6ea0d8a8afa3d9a3d0b61458046beea25360672096c23fa2d7d0605b2a33c0ecea43ccce8e0e3a
+DIST ada-bootstrap-13-riscv64-unknown-linux-gnu.gpkg.tar 38963200 BLAKE2B 88ec358fb5b9a1dedc5bec08cc1842c58c8ac8aad6f96a6ed4c077b323c8f17643686ee5eff8e1af4044328832a739439ec5b682be7fbe63c09dccc4be5cf76c SHA512 2061fcec3b875d9b42fca13c3e355dfb5dc78abd65e757df908dabbcd62f82c752b387aad1c59f0a421b2146556511c93615e7e2a52b190763d3be751ee31b8e
+DIST ada-bootstrap-13-s390-ibm-linux-gnu.gpkg.tar 26890240 BLAKE2B f1e996ab793a1ad8f0e3220ffd94beee6a573ebcc32c4956c70e289fc7183f2996e9f61fc454f9f4a2860c8a82478ade9ff5f4a40656c16f02877b38d9369fb4 SHA512 eec4cd68104dc585ce691fab76fb328bc9da65fbd4fe45db37b40b64b1a4c3c6aa14dac0a249c883956de9054a3d34c61fb716badf1e9bf9072872a1dad160a6
+DIST ada-bootstrap-13-s390x-ibm-linux-gnu.gpkg.tar 28907520 BLAKE2B 8b5aecb74be8e36e5d36ec664729350b1e9112fbcf69ce7a49120c69ff001d41e7efe814cd092dafcc24fd866ce28f9a6c1c9d80d76c841c3733cfc1d5e49332 SHA512 806b87a7022806b5c92ad3f9af1f28140ec3a36f2fe511ce281e7fb8ef05bb99f8a029c3fa308c5bd6a100b9471db4e2bccdcb26538a8e3d6a5b97d195653d39
+DIST ada-bootstrap-13-sparc64-unknown-linux-gnu.gpkg.tar 24391680 BLAKE2B 5a513a277b0d3b24184476b7fe204d1dad81bafaea430191d7b74c7cbb09602f735ee4ae3aeb138c3739179802a792d0aa5984d6c727a9a4a0d6367ace50e74b SHA512 ab0c6d416c1ea7d8239eff54422fa9cd0410ce604bfdded0c6b522dc07549267b409cb63fa8a2aaf4950c437678fdf3ab0b7afc9937ad3148dbeb5938425f853
DIST ada-bootstrap-14-aarch64-unknown-linux-gnu.gpkg.tar 44759040 BLAKE2B 4c3440bf35f14dc93e7d9265f90bca0cf534bbc2cd913f2d7356d674d9f4bc6a691b812c3c5f7d54d4fc63ad7f67ff06dd09afb5c3d008666e747dace5d3940a SHA512 8253ac27650398192081ebc8f352679b2e6fdad0cc8d52df176a1944a6da373e0adce6acc0bdbdbb3c6c37f1d666d2839fae06b86814e6e1ab7c6f6efea128ba
DIST ada-bootstrap-14-alpha-unknown-linux-gnu.gpkg.tar 44359680 BLAKE2B 8ca83caa392356901fbe299c83efce9e22501e9251d4a8bac68c113630507b209e4efb4b3a094f4dcf73ff9a3714b1f881ae42ea373e02bd8d720cb02cb11427 SHA512 67ba8c0e63a69744fc34a04fa1dda34d2958fd693f4a0f1449b897a541854ef8c1f2a09a0375223392430313184a6db87b72fbee5fecb10af7ef40db7517edbe
DIST ada-bootstrap-14-armv6j-softfp-linux-gnueabi.gpkg.tar 38379520 BLAKE2B 6ad7988780d1961a5b8c743ad2bc83c8da7173b53ecae3a3d82e02e4d425cdd49555bc6bb76f17f08cb4378b13e2a98bcfbcc8ff54e6a63397893ec9a0c3b6b4 SHA512 b253218ddfaeff7216b8770f251a4ffd3fbcf6b3d487e505bab7ebc3730bb9f616ee4f46d5c77a2c6a76c2bca0257dfff6428bb75c86bb977ea1f4a49e3cb103
@@ -22,5 +52,7 @@ DIST gnat-2021-20210519-19A70-src.tar.gz 8765762 BLAKE2B ef48f54c6109566e37bfa5d
DIST gnat-gpl-2014-x86-linux-bin.tar.gz 233049287 BLAKE2B 2e8bab113f6a319533ec12fdf71c481f72aee227c22bd0cc42a53bd727b323caba1e7b6298053db8b4d3016236b31649b0b255f4ebcbb81a08a69f29f78f13fc SHA512 ac7f53fb4bd71b0e8fbd62abc45de76f7f8f2f405b80e9b60b4b65a6cef6ee98e3b06848e4b752af3c8268237e5a0529cf6145ebc5b33cd6e5cf4928d85f5be2
DIST gnat-gpl-2014-x86_64-linux-bin.tar.gz 236253400 BLAKE2B c1db70db9442ba24688b8e323d5a02e2e9707ba1f02835ea551038d0a09aafede93a224091e5186f2f2a9d0f96144027af2184ee05ca1c19cc997a6cf3902df7 SHA512 5e40a251baac3d0ace78352956ca21a7d294d902d344a9ed7a8d376e900468c283721ebfb773adfedbf4d623ace02536505c0147815a0c1908933ad611ea085e
EBUILD ada-bootstrap-0_p2021-r1.ebuild 5755 BLAKE2B 0a68cb9f9bed35a7f1fcfbaca6f6122153afbf8c8b6fce92a3eb101d1f1761cf156f99131ddf4f67e9eb74a3d85398570582bcaae4078a39fb18c63cb4749120 SHA512 db32136657d6735fddcfd5a15de5fdea5c4689c855b27c4471d406873f751a3f2588ff7d3c6ff576c03448a653d0b14e29b5201fb8dd6af09ca8f29ab8626d44
-EBUILD ada-bootstrap-14.ebuild 4610 BLAKE2B 42c026d6ce7f4e60f5e61840c6a7e9e4fc6cea07fbb44f5cbc503befece56faf350eef1825811f16a318b5ae1899bd68bb2c2a0199f756050ed8c3950c5b6269 SHA512 2a12a53f7e5417f0f4f581a697a7f028835e3d1657b1dd9fe892ae546304f538cc14b3f1ddcc9b9316e6e74355117bfb828a3bef3027790f4fef3c217e935361
+EBUILD ada-bootstrap-12.ebuild 4392 BLAKE2B 60ff4f4aed16510b9ea02d27a28cd9736cb1b6c3abe7c59fb5ae1062fcdb697bf3a916b104aa2ea025b7f95f0975c935a15ac06cd375d674ec0450f019643cb6 SHA512 3df99f3b1004ce29afb912cd75923f46c07be8ab590a9ab9dd5a773cfb204d3159e1b515bc3daa0046d82e812cf10c5473bbbecbf74eb2bf23048c0ebd8ce346
+EBUILD ada-bootstrap-13.ebuild 4392 BLAKE2B 60ff4f4aed16510b9ea02d27a28cd9736cb1b6c3abe7c59fb5ae1062fcdb697bf3a916b104aa2ea025b7f95f0975c935a15ac06cd375d674ec0450f019643cb6 SHA512 3df99f3b1004ce29afb912cd75923f46c07be8ab590a9ab9dd5a773cfb204d3159e1b515bc3daa0046d82e812cf10c5473bbbecbf74eb2bf23048c0ebd8ce346
+EBUILD ada-bootstrap-14.ebuild 4619 BLAKE2B 4d548ae57d2e302e8098199eb544efd7a20ff9a230a1e8bd2f9c47b8a1d8f5b1e08ce93e1c6f5bfce5e40b968bcabc3328609bd6587391f0ca6f8b9ff48e6979 SHA512 f0b02c557245b33ec48a4adbbba8a6eb6f8f2ad415093f8bac385247d21ab82a7fac458bec12e7c53f5aa5c1b10c995daa3a7c2cb967242b65f77fd59c029193
MISC metadata.xml 216 BLAKE2B 921055d990617104de7e3437bc9fd4598cb830193bfcdc34254102a1df2c6025916af7025843f161dff8de731f9726641906b86f831375c5d29303ba64991da2 SHA512 8c43f5f2be76799c8ace4df222de22380c389e058bc7e36bd9b19564cbd4b90ab7515b90f822139a18b3a2cba70e76d3b4eb5426f88a0508798175893073d732
diff --git a/dev-lang/ada-bootstrap/ada-bootstrap-12.ebuild b/dev-lang/ada-bootstrap/ada-bootstrap-12.ebuild
new file mode 100644
index 000000000000..bf19bd91c1b3
--- /dev/null
+++ b/dev-lang/ada-bootstrap/ada-bootstrap-12.ebuild
@@ -0,0 +1,121 @@
+# Copyright 2024-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+# The binaries in SRC_URI are generated by the following (roughly):
+# * taking an amd64 stage3
+# * adding USE=ada to make.conf
+# * running `crossdev ${CHOST} --ex-gcc -S`
+# * running `USE=ada ${CHOST}-emerge -v1 gcc`
+# * copy /usr/${CHOST}/var/cache/binpkgs/sys-devel/gcc* into
+# ada-bootstrap-${PV}-${CHOST}.gpkg.tar
+#
+# The full script is at https://github.com/thesamesam/sam-gentoo-scripts/blob/91558fb51c56a661d6f374507888ff67725ca660/build-ada-bootstraps.
+#
+# Binaries in SRC_URI are regular Gentoo binpkgs in the GPKG format.
+#
+# Note: of course, the used GCC on both CBUILD and CHOST
+# must be the same version, correspond to ${PV} in ada-bootstrap,
+# and be at most the newest stable GCC (ideally older).
+inherit unpacker
+
+DESCRIPTION="Binary bootstrap compiler for GNAT (Ada compiler)"
+HOMEPAGE="https://wiki.gentoo.org/wiki/Project:Ada"
+SRC_URI="
+ alpha? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-alpha-unknown-linux-gnu.gpkg.tar
+ )
+ arm64? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-aarch64-unknown-linux-gnu.gpkg.tar
+ )
+ arm? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-armv6j-softfp-linux-gnueabi.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-armv6j-unknown-linux-gnueabihf.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-armv7a-softfp-linux-gnueabi.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-armv7a-unknown-linux-gnueabihf.gpkg.tar
+ )
+ hppa? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-hppa1.1-unknown-linux-gnu.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-hppa2.0-unknown-linux-gnu.gpkg.tar
+ )
+ ppc? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-powerpc-unknown-linux-gnu.gpkg.tar
+ )
+ ppc64? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-powerpc64le-unknown-linux-gnu.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-powerpc64-unknown-linux-gnu.gpkg.tar
+ )
+ riscv? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-riscv64-unknown-linux-gnu.gpkg.tar
+ )
+ sparc? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-sparc64-unknown-linux-gnu.gpkg.tar
+ )
+ s390? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-s390-ibm-linux-gnu.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-s390x-ibm-linux-gnu.gpkg.tar
+ )
+"
+S=${WORKDIR}
+
+LICENSE="GPL-2 GPL-3"
+SLOT="0"
+KEYWORDS="-* ~arm ~arm64 ~hppa ~ppc ~ppc64 ~riscv ~sparc"
+
+RDEPEND="
+ >=dev-libs/gmp-4.3.2:0/10.4
+ >=dev-libs/mpfr-2.4.2:0/6
+ >=dev-libs/mpc-0.8.1:0/3
+ sys-libs/zlib
+ virtual/libiconv
+"
+
+src_unpack() {
+ # We want to unpack only the appropriate tarball for CHOST (e.g. on arm).
+ TARBALL_TO_UNPACK=
+
+ local archive
+ for archive in ${A} ; do
+ local tarball_chost=${archive/${P}-}
+ tarball_chost=${tarball_chost%%.gpkg.tar}
+
+ if [[ ${tarball_chost} == ${CHOST} ]] ; then
+ TARBALL_TO_UNPACK=${archive}
+ break
+ fi
+ done
+
+ if [[ -z ${TARBALL_TO_UNPACK} ]] ; then
+ die "No tarball found for CHOST=${CHOST}. Please file a bug at bugs.gentoo.org."
+ fi
+
+ unpack_gpkg "${TARBALL_TO_UNPACK}"
+}
+
+src_install() {
+ local chost=${TARBALL_TO_UNPACK/${P}-}
+ chost=${chost%%.gpkg.tar}
+
+ BINPKG=$(find "${WORKDIR}"/ -type d -mindepth 1 -maxdepth 1 -iname 'gcc-*')
+ BINPKG="${BINPKG#${WORKDIR}}"
+
+ dodir /usr/lib/ada-bootstrap
+ mv "${WORKDIR}"/${BINPKG}/image/usr/ "${ED}"/usr/lib/ada-bootstrap || die
+
+ # Make `gcc-config`-style symlinks
+ insinto /usr/lib/ada-bootstrap/bin
+ local tool
+ for tool in gcc gnat{,bind,chop,clean,kr,link,ls,make,name,prep} ; do
+ dosym -r /usr/lib/ada-bootstrap/usr/${chost}/gcc-bin/${PV}/${tool} /usr/lib/ada-bootstrap/bin/${tool}
+ dosym -r /usr/lib/ada-bootstrap/usr/${chost}/gcc-bin/${PV}/${tool} /usr/lib/ada-bootstrap/bin/${chost}-${tool}
+ dosym -r /usr/lib/ada-bootstrap/usr/${chost}/gcc-bin/${PV}/${tool} /usr/lib/ada-bootstrap/bin/${chost}-${tool}-${PV}
+ done
+
+ rm -rf "${ED}"/usr/lib/ada-bootstrap/usr/bin || die
+ # This gives us the same layout as older dev-lang/ada-bootstrap
+ dosym -r /usr/lib/ada-bootstrap/bin /usr/lib/ada-bootstrap/usr/bin
+ dosym -r /usr/lib/ada-bootstrap/usr/libexec /usr/lib/ada-bootstrap/libexec
+}
+
+# TODO: pkg_postinst warning/log?
diff --git a/dev-lang/ada-bootstrap/ada-bootstrap-13.ebuild b/dev-lang/ada-bootstrap/ada-bootstrap-13.ebuild
new file mode 100644
index 000000000000..bf19bd91c1b3
--- /dev/null
+++ b/dev-lang/ada-bootstrap/ada-bootstrap-13.ebuild
@@ -0,0 +1,121 @@
+# Copyright 2024-2025 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+# The binaries in SRC_URI are generated by the following (roughly):
+# * taking an amd64 stage3
+# * adding USE=ada to make.conf
+# * running `crossdev ${CHOST} --ex-gcc -S`
+# * running `USE=ada ${CHOST}-emerge -v1 gcc`
+# * copy /usr/${CHOST}/var/cache/binpkgs/sys-devel/gcc* into
+# ada-bootstrap-${PV}-${CHOST}.gpkg.tar
+#
+# The full script is at https://github.com/thesamesam/sam-gentoo-scripts/blob/91558fb51c56a661d6f374507888ff67725ca660/build-ada-bootstraps.
+#
+# Binaries in SRC_URI are regular Gentoo binpkgs in the GPKG format.
+#
+# Note: of course, the used GCC on both CBUILD and CHOST
+# must be the same version, correspond to ${PV} in ada-bootstrap,
+# and be at most the newest stable GCC (ideally older).
+inherit unpacker
+
+DESCRIPTION="Binary bootstrap compiler for GNAT (Ada compiler)"
+HOMEPAGE="https://wiki.gentoo.org/wiki/Project:Ada"
+SRC_URI="
+ alpha? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-alpha-unknown-linux-gnu.gpkg.tar
+ )
+ arm64? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-aarch64-unknown-linux-gnu.gpkg.tar
+ )
+ arm? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-armv6j-softfp-linux-gnueabi.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-armv6j-unknown-linux-gnueabihf.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-armv7a-softfp-linux-gnueabi.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-armv7a-unknown-linux-gnueabihf.gpkg.tar
+ )
+ hppa? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-hppa1.1-unknown-linux-gnu.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-hppa2.0-unknown-linux-gnu.gpkg.tar
+ )
+ ppc? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-powerpc-unknown-linux-gnu.gpkg.tar
+ )
+ ppc64? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-powerpc64le-unknown-linux-gnu.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-powerpc64-unknown-linux-gnu.gpkg.tar
+ )
+ riscv? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-riscv64-unknown-linux-gnu.gpkg.tar
+ )
+ sparc? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-sparc64-unknown-linux-gnu.gpkg.tar
+ )
+ s390? (
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-s390-ibm-linux-gnu.gpkg.tar
+ https://dev.gentoo.org/~sam/distfiles/${CATEGORY}/${PN}/${P}-s390x-ibm-linux-gnu.gpkg.tar
+ )
+"
+S=${WORKDIR}
+
+LICENSE="GPL-2 GPL-3"
+SLOT="0"
+KEYWORDS="-* ~arm ~arm64 ~hppa ~ppc ~ppc64 ~riscv ~sparc"
+
+RDEPEND="
+ >=dev-libs/gmp-4.3.2:0/10.4
+ >=dev-libs/mpfr-2.4.2:0/6
+ >=dev-libs/mpc-0.8.1:0/3
+ sys-libs/zlib
+ virtual/libiconv
+"
+
+src_unpack() {
+ # We want to unpack only the appropriate tarball for CHOST (e.g. on arm).
+ TARBALL_TO_UNPACK=
+
+ local archive
+ for archive in ${A} ; do
+ local tarball_chost=${archive/${P}-}
+ tarball_chost=${tarball_chost%%.gpkg.tar}
+
+ if [[ ${tarball_chost} == ${CHOST} ]] ; then
+ TARBALL_TO_UNPACK=${archive}
+ break
+ fi
+ done
+
+ if [[ -z ${TARBALL_TO_UNPACK} ]] ; then
+ die "No tarball found for CHOST=${CHOST}. Please file a bug at bugs.gentoo.org."
+ fi
+
+ unpack_gpkg "${TARBALL_TO_UNPACK}"
+}
+
+src_install() {
+ local chost=${TARBALL_TO_UNPACK/${P}-}
+ chost=${chost%%.gpkg.tar}
+
+ BINPKG=$(find "${WORKDIR}"/ -type d -mindepth 1 -maxdepth 1 -iname 'gcc-*')
+ BINPKG="${BINPKG#${WORKDIR}}"
+
+ dodir /usr/lib/ada-bootstrap
+ mv "${WORKDIR}"/${BINPKG}/image/usr/ "${ED}"/usr/lib/ada-bootstrap || die
+
+ # Make `gcc-config`-style symlinks
+ insinto /usr/lib/ada-bootstrap/bin
+ local tool
+ for tool in gcc gnat{,bind,chop,clean,kr,link,ls,make,name,prep} ; do
+ dosym -r /usr/lib/ada-bootstrap/usr/${chost}/gcc-bin/${PV}/${tool} /usr/lib/ada-bootstrap/bin/${tool}
+ dosym -r /usr/lib/ada-bootstrap/usr/${chost}/gcc-bin/${PV}/${tool} /usr/lib/ada-bootstrap/bin/${chost}-${tool}
+ dosym -r /usr/lib/ada-bootstrap/usr/${chost}/gcc-bin/${PV}/${tool} /usr/lib/ada-bootstrap/bin/${chost}-${tool}-${PV}
+ done
+
+ rm -rf "${ED}"/usr/lib/ada-bootstrap/usr/bin || die
+ # This gives us the same layout as older dev-lang/ada-bootstrap
+ dosym -r /usr/lib/ada-bootstrap/bin /usr/lib/ada-bootstrap/usr/bin
+ dosym -r /usr/lib/ada-bootstrap/usr/libexec /usr/lib/ada-bootstrap/libexec
+}
+
+# TODO: pkg_postinst warning/log?
diff --git a/dev-lang/ada-bootstrap/ada-bootstrap-14.ebuild b/dev-lang/ada-bootstrap/ada-bootstrap-14.ebuild
index 172f527ea631..07ee017e49b2 100644
--- a/dev-lang/ada-bootstrap/ada-bootstrap-14.ebuild
+++ b/dev-lang/ada-bootstrap/ada-bootstrap-14.ebuild
@@ -70,9 +70,9 @@ SLOT="0"
KEYWORDS="-* amd64 arm arm64 hppa ~loong ppc ppc64 ~riscv sparc"
RDEPEND="
- >=dev-libs/gmp-4.3.2:=
- >=dev-libs/mpfr-2.4.2:=
- >=dev-libs/mpc-0.8.1:=
+ >=dev-libs/gmp-4.3.2:0/10.4
+ >=dev-libs/mpfr-2.4.2:0/6
+ >=dev-libs/mpc-0.8.1:0/3
sys-libs/zlib
virtual/libiconv
"
diff --git a/dev-lang/eisl/Manifest b/dev-lang/eisl/Manifest
index d9740226253a..0f82b81f8b0e 100644
--- a/dev-lang/eisl/Manifest
+++ b/dev-lang/eisl/Manifest
@@ -5,7 +5,7 @@ DIST eisl-5.39.tar.gz 3137025 BLAKE2B 1aca7df4b629b9e9b71fa8355654d65a84cf3f08a5
DIST eisl-5.40.tar.gz 3140344 BLAKE2B aa00ff32302a6a9f1d9772f8e9c2690e47f1d466ec433c2f4519434a599d8b6bdb923e3bbdb1a278b3aaa1274ea139ff46e1bb736f972ab495f0dfc031de1916 SHA512 44e2ca7a35c3e200e7d8b0bd948427e0bfa81e678269df81d3e36e601123c1528c25a4b2d13b5d92956378b27c5211caa5e51113763099af4b9b65bf369382fd
DIST eisl-5.41.tar.gz 3140179 BLAKE2B b60ec0209313973af31b0940317fdecd8e87c9de46093830d7e3c3924bbab9ef5da638a67b43b91a3c351d3d357817fcf26a56aeb2203e3f2a1865c797c743b1 SHA512 1b87a4c16b75289a95ffee20b7182151701736c96f3ddcdf1e00ef51356b668059b43cab39e9dd3b1f193b102f1f7cd32e435c0d212342e2544fff9507dfb99a
EBUILD eisl-5.38.ebuild 1141 BLAKE2B 981c79c4e175032aad04446f902f5576da77c4bba907e7607bbc7109434fa219d88f2841241d008fde4d7c7494c14c8b1501c621cf41ac0074488dd8274a6878 SHA512 531d23a6d9f24368c919f09662e4f53fb6d21bc3d41a080b8f186deead807943121a546f5302d933f4dfa0a9e7668103dac45ccad3b3ac5e19d3b05c8101f65d
-EBUILD eisl-5.39.ebuild 1142 BLAKE2B a8fc820c4882488b585a8880ebae3e28aea612fd7fba566428dbc79b07a6b1eeb6d650800e2bc1f29eaf98c9a205c3c344f470b23349f1e21525e573e6019ea2 SHA512 420028f87f5855c4332f0441124cface157b43823141f3eb84df01a369981eb7c080268d3ba133f0af99d7798611661668f8bef3d4ff73b9c3229392ecbe277f
+EBUILD eisl-5.39.ebuild 1141 BLAKE2B 981c79c4e175032aad04446f902f5576da77c4bba907e7607bbc7109434fa219d88f2841241d008fde4d7c7494c14c8b1501c621cf41ac0074488dd8274a6878 SHA512 531d23a6d9f24368c919f09662e4f53fb6d21bc3d41a080b8f186deead807943121a546f5302d933f4dfa0a9e7668103dac45ccad3b3ac5e19d3b05c8101f65d
EBUILD eisl-5.40.ebuild 1142 BLAKE2B a8fc820c4882488b585a8880ebae3e28aea612fd7fba566428dbc79b07a6b1eeb6d650800e2bc1f29eaf98c9a205c3c344f470b23349f1e21525e573e6019ea2 SHA512 420028f87f5855c4332f0441124cface157b43823141f3eb84df01a369981eb7c080268d3ba133f0af99d7798611661668f8bef3d4ff73b9c3229392ecbe277f
EBUILD eisl-5.41.ebuild 1184 BLAKE2B 878e121281063a100bbbd9c5cfd065294c3cffded81f387b4e9fffb219ba91b380cfdfe73d597710b3884a627e5a0a0a6721675110ef6091a9c5cde7108e64a7 SHA512 77bd58e5efcf0c58d3428c011d241adc26998d581f23efddb6166c299d1013ec5b3abf83082eae0a5a846ee471daaceb416c73dd92a0d7ebe7d85c7a139cbc91
EBUILD eisl-9999.ebuild 1136 BLAKE2B d00e394ed97243a579bc35bc9da5fa60ad84861ea5c41a0524b514e360d80d732da2bc733ef1edfaf843c96bf2f0543912838e102336244442a7c934ac504c1c SHA512 5e7ef191a7e978bebcc696d9274f211d67dd4d99c36bc942402f60a76439b551d839d70b66531e5f6366b700e5e094f86b072fb6108a6cf4593bac8df38361a6
diff --git a/dev-lang/eisl/eisl-5.39.ebuild b/dev-lang/eisl/eisl-5.39.ebuild
index b73ff04a67d4..fa1972eec46a 100644
--- a/dev-lang/eisl/eisl-5.39.ebuild
+++ b/dev-lang/eisl/eisl-5.39.ebuild
@@ -16,7 +16,7 @@ else
SRC_URI="https://github.com/sasagawa888/${PN}/archive/v${PV}.tar.gz
-> ${P}.tar.gz"
- KEYWORDS="~amd64 ~x86"
+ KEYWORDS="amd64 ~x86"
fi
LICENSE="BSD-2"
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-05 00:04:24 +0000