diff options
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/Manifest.gz | bin | 19337 -> 19336 bytes | |||
| -rw-r--r-- | dev-lang/boogie/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/boogie/boogie-2.15.8-r4.ebuild (renamed from dev-lang/boogie/boogie-2.15.8-r3.ebuild) | 5 | ||||
| -rw-r--r-- | dev-lang/gnat-gpl/Manifest | 6 | ||||
| -rw-r--r-- | dev-lang/gnat-gpl/gnat-gpl-2020.ebuild | 14 | ||||
| -rw-r--r-- | dev-lang/gnat-gpl/gnat-gpl-2021-r1.ebuild | 13 | ||||
| -rw-r--r-- | dev-lang/gnat-gpl/gnat-gpl-2021-r4.ebuild | 12 |
7 files changed, 24 insertions, 28 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz Binary files differindex 4b10a60f7dbf..479ed934bc12 100644 --- a/dev-lang/Manifest.gz +++ b/dev-lang/Manifest.gz diff --git a/dev-lang/boogie/Manifest b/dev-lang/boogie/Manifest index 5b094bb61706..a7366bbedcc7 100644 --- a/dev-lang/boogie/Manifest +++ b/dev-lang/boogie/Manifest @@ -1,4 +1,4 @@ DIST boogie-2.15.8-deps.tar.xz 71100772 BLAKE2B 1249627710fe0cc08c640ac7fe5e518793d237291810dc2df5d26bae2a4fd0fec15f0529b6fb799231002881665c2b2cf66b3a6a88494c780e96e51d78086959 SHA512 ee8df5693264c6b6e925f966a85e312e2df80d121c6e81786e7672d1591cdab8a66601c7d740df9db9704330a82f5aa01982d758cc4d5f151838be41c4d0b76f DIST boogie-2.15.8.tar.gz 1548233 BLAKE2B cd3d46b6702eb9c16cdb94ae9776ee52bb142be57e3b0dfd014e59c2f3a98aec84d891544cbd239d773c49ac6bc0b3e1eb5e1eb5cda1f1a0b9aa029f0ee674f2 SHA512 5e214a6451b0ac6a33088797957661cdb35e7fc99f880935f0f1d9329975c11a0849f5ba6244e90f528e6cc31dc2fc83636506130f59464889bf04ecf6130990 -EBUILD boogie-2.15.8-r3.ebuild 2179 BLAKE2B 5285abd06ce14d3d7caabecb6a6375bfa1f7b42d6e2df233edd14ec4fed00fc7b294bdb780b7869ea6d437ffcd12a76863cfab7371c5fcd99142f0ae3ed1f719 SHA512 3c495cf46b6a6c5bdae68390a155a1ee52c529e0ef9c7eca8e1307cee16c7758c5d86c73e811e6dd7630dabe78c9c6e1f268d4f9c1a11c5e5b57559a255a8756 +EBUILD boogie-2.15.8-r4.ebuild 2162 BLAKE2B 47c62cb3cb42c1d3fc54d9862cf59d5e745592c97eda31ca7d7f7c431838b50ddd34aa7ab569db1d811a4bef0b87b2cc03f44e94f2672adf299cb4b94ae06c83 SHA512 9c02b41e1e1b9465866d0ae450ae577e1e6b45d4aae2525e41fa047fc223caee112203bbe0851b5c74016114c5f9976c1b4c3c488408dda760ebe994a7cc9b77 MISC metadata.xml 1090 BLAKE2B 838630d17f9e2aa9d8d329f5f6da0e2f00636c3e01ceb02e10f06d3b53b722859818343c6a6936e1d2a495b9ec8d77b729f03dfbc0e017dace31116dccee4ff7 SHA512 e66f1077862a81efd0e311d6e2a2f0b4cd5fd650748c4232e3d70cbd982685bf03da616092929686589e115a4fe3ba2d52c420b416222ccae221469ca2d5face diff --git a/dev-lang/boogie/boogie-2.15.8-r3.ebuild b/dev-lang/boogie/boogie-2.15.8-r4.ebuild index 1b6c0b18edd5..ce1ace397460 100644 --- a/dev-lang/boogie/boogie-2.15.8-r3.ebuild +++ b/dev-lang/boogie/boogie-2.15.8-r4.ebuild @@ -20,10 +20,7 @@ KEYWORDS="~amd64" IUSE="debug test" RESTRICT="!test? ( test )" -BDEPEND=" - dev-libs/icu - virtual/dotnet-sdk:${DOTNET_COMPAT} -" +BDEPEND="virtual/dotnet-sdk:${DOTNET_COMPAT}" RDEPEND=" ${BDEPEND} sci-mathematics/z3 diff --git a/dev-lang/gnat-gpl/Manifest b/dev-lang/gnat-gpl/Manifest index 3108ebd818ec..7fa6b8eefc95 100644 --- a/dev-lang/gnat-gpl/Manifest +++ b/dev-lang/gnat-gpl/Manifest @@ -13,7 +13,7 @@ DIST gnat-2020-20200429-19B04-src.tar.gz 8485156 BLAKE2B 79683138873b236d8329396 DIST gnat-2021-20210519-19A70-src.tar.gz 8765762 BLAKE2B ef48f54c6109566e37bfa5dee9262305d0529b3dfd333ee28bc4e66f4709a0673f673d742bc04deb15dc145404f7618d350dbdf3f2a7ab37c861e57d011946fa SHA512 3cb79be024fdd9b738d99ffc8e224d32bb382b5da2d02b97b2061a5ea58456f33d4564c92e224af2713ce15fd5481edd715e5b9a52abc74fdc142f27e103c201 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 gnat-gpl-2020.ebuild 3828 BLAKE2B b0b04987c3cd4cf49b6f3d8ec61a1ed84d8cf422149bbc38c2a20e9d0e9c3ee2a05fe37e45cf992caf3b3bb954a30c1eb45ad9b61fb5b6ae97efb4a4382248f6 SHA512 c84506eca5fd33270ca19141a80f921c04817f8dd8694e57b6f43ba12c8f6b9535272828339474ac1d4b508936ca52cb167c754410210cfa7d21c1c7b64157a2 -EBUILD gnat-gpl-2021-r1.ebuild 3997 BLAKE2B 3574dfdfb89d860cb42becccb479df5aff27b0de7005137b119f4ca5fd858c94ea11c723ad177765f2161b7486d6a57a4d8f73567d2a57add3ceb185add2d17b SHA512 3d59a0bfba9a3260c6ff0d9ea6061a45a6e8b2c9cc1559781d45d2f5034de05f652234691531ec80f979c577f48ed44ef4758f73d28083dbaeac1782046fb71e -EBUILD gnat-gpl-2021-r4.ebuild 3961 BLAKE2B 9c5b826c4123210d4cbc4c793ff5baa3b8178c5fdbfa8739a1de03d7451e4bc1062972b84804070718cc7f6ff0d3352820b3ccebcb6cf85bd3519430a5d778d3 SHA512 640e2e5723cff3b9ef5ade327c0d8b853c78e602dcdc06f67e28c871438e35849053f3a8ef564c60d365a0a8a10a014bde53f9a3d435b2947ff0ef58f7948585 +EBUILD gnat-gpl-2020.ebuild 3840 BLAKE2B 82c2560e8b058805ce38780067334a8930bd5601f242d58ebca6b2e661796dccf5de0c306e66da1561ba9e0f38b3184da7e95399e40622ddd36985eed4569412 SHA512 971629f9003934c9bf018dd7d41293d395c86f3cd3dfe54bc007392a66e3ee3b1a50c57bf850f5e667509f99a9e5c063cf77ed5b74dca47787ba8fd2ecd73c28 +EBUILD gnat-gpl-2021-r1.ebuild 3963 BLAKE2B 13efe1a5e0196fe4af7b1a313bc2240be092c5bd772a99f8900473dc90a78e5c88b55a82a2fe86b138e5d1261ff0ed27b42fef4adc539ad7b3d5706a5d31a17f SHA512 b5b29e236535c4e5f53cd585ad13542e06875cc50eeb184fcc1997e055567efecefd1712c9037d50bafc0d0568ef727b5750aed93961b61e9b2efbdfa2806316 +EBUILD gnat-gpl-2021-r4.ebuild 3973 BLAKE2B b9db2268a33fe4ad67905ea0a5ca2d2210ad38b9633d5b537647f823a54c3bbc6de9e916c2f8fcc13febf906438bbb7ca8cdcb1cb06b70c46d1bd500ce14327c SHA512 b4d032d52dfa393cef113748beec4464d9833d6419260af711eb67e88a17342c0cb4b84f47a36dccdafae03a186123eb6627e9cc73c91d41974df99930bd1d6d MISC metadata.xml 1960 BLAKE2B e06642a8ae69d163bd2450a4dbf2350399becc0fa933780cbf1378721ec127b033cb547c7aff22d4b89724aefe933c7c0eaac55eab4a223f45d138006dd3492e SHA512 81c3ceafdc0a4d73427d6b12c1bfa41d647e8c788e71e1de09e79de4795573e35e403fd03b981beb350a6e9b55b44fd0d8a2f7279e83c23273fc150a126f2b07 diff --git a/dev-lang/gnat-gpl/gnat-gpl-2020.ebuild b/dev-lang/gnat-gpl/gnat-gpl-2020.ebuild index 7c3e1675fbdc..efc7ef0e3532 100644 --- a/dev-lang/gnat-gpl/gnat-gpl-2020.ebuild +++ b/dev-lang/gnat-gpl/gnat-gpl-2020.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -103,12 +103,12 @@ src_prepare() { GNATLS="${gnatpath}/${GNATLS}" fi mkdir bin || die - ln -s $(which ${GCC}) bin/gcc || die - ln -s $(which ${CXX}) bin/g++ || die - ln -s $(which ${GNATMAKE}) bin/gnatmake || die - ln -s $(which ${GNATBIND}) bin/gnatbind || die - ln -s $(which ${GNATLINK}) bin/gnatlink || die - ln -s $(which ${GNATLS}) bin/gnatls || die + ln -s $(type -P ${GCC}) bin/gcc || die + ln -s $(type -P ${CXX}) bin/g++ || die + ln -s $(type -P ${GNATMAKE}) bin/gnatmake || die + ln -s $(type -P ${GNATBIND}) bin/gnatbind || die + ln -s $(type -P ${GNATLINK}) bin/gnatlink || die + ln -s $(type -P ${GNATLS}) bin/gnatls || die cd .. mv ${GNATDIR}/src/ada ${MYP}/gcc/ || die diff --git a/dev-lang/gnat-gpl/gnat-gpl-2021-r1.ebuild b/dev-lang/gnat-gpl/gnat-gpl-2021-r1.ebuild index 02da8f27ec3a..7e9e65beb91e 100644 --- a/dev-lang/gnat-gpl/gnat-gpl-2021-r1.ebuild +++ b/dev-lang/gnat-gpl/gnat-gpl-2021-r1.ebuild @@ -45,7 +45,6 @@ KEYWORDS="amd64 x86" IUSE="+ada +bootstrap" RESTRICT="test" -RDEPEND="!~sys-devel/gcc-${TOOLCHAIN_GCC_PV}" BDEPEND=sys-devel/binutils S="${WORKDIR}"/${MYP} @@ -106,12 +105,12 @@ src_prepare() { GNATLS="${gnatpath}/${GNATLS}" fi mkdir bin || die - ln -s $(which ${GCC}) bin/gcc || die - ln -s $(which ${CXX}) bin/g++ || die - ln -s $(which ${GNATMAKE}) bin/gnatmake || die - ln -s $(which ${GNATBIND}) bin/gnatbind || die - ln -s $(which ${GNATLINK}) bin/gnatlink || die - ln -s $(which ${GNATLS}) bin/gnatls || die + ln -s $(type -P ${GCC}) bin/gcc || die + ln -s $(type -P ${CXX}) bin/g++ || die + ln -s $(type -P ${GNATMAKE}) bin/gnatmake || die + ln -s $(type -P ${GNATBIND}) bin/gnatbind || die + ln -s $(type -P ${GNATLINK}) bin/gnatlink || die + ln -s $(type -P ${GNATLS}) bin/gnatls || die cd .. mv ${GNATDIR}/src/ada ${MYP}/gcc/ || die diff --git a/dev-lang/gnat-gpl/gnat-gpl-2021-r4.ebuild b/dev-lang/gnat-gpl/gnat-gpl-2021-r4.ebuild index 1d550e0fd45b..3634ffe8e48e 100644 --- a/dev-lang/gnat-gpl/gnat-gpl-2021-r4.ebuild +++ b/dev-lang/gnat-gpl/gnat-gpl-2021-r4.ebuild @@ -103,12 +103,12 @@ src_prepare() { GNATLS="${gnatpath}/${GNATLS}" fi mkdir bin || die - ln -s $(which ${GCC}) bin/gcc || die - ln -s $(which ${CXX}) bin/g++ || die - ln -s $(which ${GNATMAKE}) bin/gnatmake || die - ln -s $(which ${GNATBIND}) bin/gnatbind || die - ln -s $(which ${GNATLINK}) bin/gnatlink || die - ln -s $(which ${GNATLS}) bin/gnatls || die + ln -s $(type -P ${GCC}) bin/gcc || die + ln -s $(type -P ${CXX}) bin/g++ || die + ln -s $(type -P ${GNATMAKE}) bin/gnatmake || die + ln -s $(type -P ${GNATBIND}) bin/gnatbind || die + ln -s $(type -P ${GNATLINK}) bin/gnatlink || die + ln -s $(type -P ${GNATLS}) bin/gnatls || die cd .. mv ${GNATDIR}/src/ada ${MYP}/gcc/ || die |