summaryrefslogtreecommitdiff
path: root/dev-lang
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-12-16 03:35:12 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-12-16 03:35:12 +0000
commitb62381b18b4bf2e919cbfbae11ebcad391e38e77 (patch)
tree0ea03896aa0bf5f376fdba3e25b9ecb8add6e65c /dev-lang
parentda407288bb9fc771488c3fee13fc2f8561681e66 (diff)
gentoo auto-resync : 16:12:2022 - 03:35:12
Diffstat (limited to 'dev-lang')
-rw-r--r--dev-lang/Manifest.gzbin19482 -> 19496 bytes
-rw-r--r--dev-lang/dafny-bin/Manifest4
-rw-r--r--dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild (renamed from dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild)2
-rw-r--r--dev-lang/gdl/Manifest4
-rw-r--r--dev-lang/gdl/gdl-1.0.0_rc3-r3.ebuild (renamed from dev-lang/gdl/gdl-1.0.0_rc3-r1.ebuild)18
-rw-r--r--dev-lang/gdl/gdl-1.0.1-r1.ebuild (renamed from dev-lang/gdl/gdl-1.0.1.ebuild)20
-rw-r--r--dev-lang/gnat-gpl/Manifest2
-rw-r--r--dev-lang/gnat-gpl/metadata.xml3
8 files changed, 28 insertions, 25 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz
index 760f482c64f1..7ac9f440a856 100644
--- a/dev-lang/Manifest.gz
+++ b/dev-lang/Manifest.gz
Binary files differ
diff --git a/dev-lang/dafny-bin/Manifest b/dev-lang/dafny-bin/Manifest
index 53096d1f8314..20f82d445406 100644
--- a/dev-lang/dafny-bin/Manifest
+++ b/dev-lang/dafny-bin/Manifest
@@ -1,7 +1,7 @@
-DIST dafny-3.8.1-x64-ubuntu-16.04.zip 76192825 BLAKE2B fbfe65f917fb1c04151969e466097ea5703b70fea5c2e04ed6ed756d05c3c46796951d641cca66c30b59d4b70dcee2bef9c7ccac6cd04fe3204b41a08910197c SHA512 ae10f912977827525902317a2215b3066f4271efd2dfdf314859b8c82cfb18ea881bafba5bde0d9f31f3b1429bef252774ca7a495f6661dff7f9f0d5fe042806
+DIST dafny-3.10.0-x64-ubuntu-16.04.zip 76468200 BLAKE2B d3b35260fca709f1808ec47874f5566dd2fc42af9a43354a97b86b8962b1b15c95df10f25fa8f0d6a12c83f5c12569aa981d56b796aeb1fd7563fc59c62d4259 SHA512 3f8e669025fd655a7709334876652176b3dce1eb980f1f797cf829fa53b125129a66a175d3a4fcc56aa276e28661c6d795ccc01901d0e457bdac754b29382ca3
DIST dafny-3.9.0-x64-ubuntu-16.04.zip 76348358 BLAKE2B aa217b8583a54f11e23769c214bff182025d7a8669a27f63ef3ee161640f1637d3eebc3e154c44d6cb0dc07060ac0bb3ba38dc7504af04c7a3c04425ee7437df SHA512 e595c80eed0c994a5e2f6cc34b18262f3401d7968e9da32449638591898998a56de70989240e8227ed6c40946205ba20542ac13e4e90cc597de657d81d389060
DIST dafny-3.9.1-x64-ubuntu-16.04.zip 76356092 BLAKE2B 7337cbc5b698cec24ffcc3d05cc00403e37a865e422bab36860ca4a1136c3bf4d8dc70647640d0e3f1dc6846a0b72a3edc6a09cef51d7d56ab455dabd006236a SHA512 dbacd0dbeb4e97497faf7f6b6bfedac1ccc9f0e1da129ac1e3b124a0920ac659b6c78237102c5e087d350017c3bb3fd93ac8ca353b1b0e2d13073f35bfc9df7d
-EBUILD dafny-bin-3.8.1-r1.ebuild 1236 BLAKE2B bba1565928baf92515fb873a5ac452b98db0144175f20b332b9ccbabc743152884ad933afb4c94fea7d3eec3ec32b37ba8a0c0aab9ab389232dab6d0fc5bb4e7 SHA512 b75d64f5badd2650179e13ad56af8c25594ba449c2746f15f31aa0fb0c3c51338fba20e857b24e828d686abf6dc20285f322b199cecb75bc4de9c77fb6f3756e
+EBUILD dafny-bin-3.10.0.ebuild 1194 BLAKE2B 57799fbc389921f46a770ea54c8403b927810074f0e4e4edd59c338d1cf9287086982c07bfd61628e7bb821751197fc7dd89d5af3c8d4717bdccb8a4cb76402d SHA512 9e233fc8f3d4f0c18d53716e24b4499aad02fbaada2a043a79751a501d694fc87e34b06d0d0f3895c76d1cf855bc05bf7bbc30d6b65c2a50b74f115752ed7836
EBUILD dafny-bin-3.9.0-r1.ebuild 1194 BLAKE2B 57799fbc389921f46a770ea54c8403b927810074f0e4e4edd59c338d1cf9287086982c07bfd61628e7bb821751197fc7dd89d5af3c8d4717bdccb8a4cb76402d SHA512 9e233fc8f3d4f0c18d53716e24b4499aad02fbaada2a043a79751a501d694fc87e34b06d0d0f3895c76d1cf855bc05bf7bbc30d6b65c2a50b74f115752ed7836
EBUILD dafny-bin-3.9.1-r1.ebuild 1194 BLAKE2B 57799fbc389921f46a770ea54c8403b927810074f0e4e4edd59c338d1cf9287086982c07bfd61628e7bb821751197fc7dd89d5af3c8d4717bdccb8a4cb76402d SHA512 9e233fc8f3d4f0c18d53716e24b4499aad02fbaada2a043a79751a501d694fc87e34b06d0d0f3895c76d1cf855bc05bf7bbc30d6b65c2a50b74f115752ed7836
MISC metadata.xml 1814 BLAKE2B cf1e080cccf3392a44bbf4b94350cf2d83b4704120c193421e5b0952e36bd07d5d2079968c8fc39b4cfc78daf2fb6aa8e58e71b92d4cf1abe3a7cf4297edb750 SHA512 dfd3eb544a7e76ae7d40a993559291348c3ecb58d433f90b44cb67743879e2ca1f7bb249135e39a98b6c41dd32f439c165a4ad0e6a3bd7572f5786b346df70bb
diff --git a/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
index 1c122629aafc..3571c06eeb55 100644
--- a/dev-lang/dafny-bin/dafny-bin-3.8.1-r1.ebuild
+++ b/dev-lang/dafny-bin/dafny-bin-3.10.0.ebuild
@@ -9,7 +9,7 @@ SRC_URI="https://github.com/dafny-lang/dafny/releases/download/v${PV}/dafny-${PV
LICENSE="MIT"
SLOT="0"
-KEYWORDS="-* ~amd64" # Binaries are compiled only for x86_64.
+KEYWORDS="-* ~amd64"
REQUIRED_USE="elibc_glibc"
RDEPEND="
diff --git a/dev-lang/gdl/Manifest b/dev-lang/gdl/Manifest
index b601bb6f8dca..6b0c826a315c 100644
--- a/dev-lang/gdl/Manifest
+++ b/dev-lang/gdl/Manifest
@@ -2,6 +2,6 @@ AUX gdl-1.0.0_rc3-cmake.patch 3673 BLAKE2B 81ede9a3b1fc6147ab528f49efabb140ff505
AUX gdl-1.0.1-cmake.patch 4639 BLAKE2B 53e8093ab8f3d33fdd4db3441060400c02418e1543c5a975129ba6097e25861823f51f0e923b989a8e94fa6780fe065eae4e8a753abac3b580c22a132bf11af5 SHA512 f6df405084ecfe0a8ac96431ac8a28501e68cb6d3d6619f86825f70910df14d47b0d2da8901d0436a4dfd1c7625beabdc297cfa898346d3f6cd65d2f4f6d4dfa
DIST gdl-1.0.0_rc3.tar.gz 32650313 BLAKE2B cdecfe0646e2271e2389e0a04f8da1e8de4534faf743f233169bccf326198025eff7fd7a7b62ed8bd05fa4a0222c6fd30f9469e3edf0f5b2991ef3ef545e616b SHA512 3fde22c7e709b9cdc72a23d2317c043037379c7903418211a699c7e5caa2ed17e78e32e6d2f9b4aa89200e729fc21555821140dfdd58a5a636a858e2841f6335
DIST gdl-1.0.1.tar.gz 32775655 BLAKE2B 3428f33300403c98ae1f8f88cfa0e2346abe53d53b9f00c82ee5bf7f09f1f2f7d3021fa81173221ddd41ec29c94c2757cd1dc39b6e4d919c29d70af2e5045e6a SHA512 9d15f114d26d03c34dce6177a5d5115e81c128ec21752c01d171f8427e6cb21b9d0b69a44e29891b5e8fc2bd4d0b89d1a8dcd189f362a13c6e59182528b5842d
-EBUILD gdl-1.0.0_rc3-r1.ebuild 3731 BLAKE2B bbd9b0863553472971487e121d6511dd621c06b6890269cb1a1377cff52c379f10518b6b4cc9b1831d9b308f94e35e9bd0a6a7468724b2fff8a7125f79655d49 SHA512 d4dc3fe08a415218b9b5f911c82b5c9cb401647d68f8900ec22c7cc5ca1740a64d35aaf2b0f99134f8b1ff6a237defc546471221d528b8dc2c09f19361c810f3
-EBUILD gdl-1.0.1.ebuild 3306 BLAKE2B b5752c1ed278e9b362d4d46886947c9ffff9b35d93a3708a5e5ef8810f2e65c60b98ae52de9b6124c054e7dc6c05f613cc2f2de8936f9304f8f6195696a2c678 SHA512 317406911aa2edcaac085d4e38f39ba5696b720faecfcd89087e22fa24779567017a709b591979a34ca9071d34ad977dc8e379b806abf91152ac0410a568baf7
+EBUILD gdl-1.0.0_rc3-r3.ebuild 3728 BLAKE2B b58fac48832dae953cda5f5b322636929e400ac2fb3997d1630bf6212544833106eed4e09c9bd768dea8b81bd166923bf8939d89bda13f9e0528166af92db017 SHA512 18eb3e81cf4ed57fd7bba2806bffc848f2b70b10a8283f8a2390f230447db109982088c93142afebd86dc4120942cbb5e700088d6b7fe1b37c6d8f02e5418e90
+EBUILD gdl-1.0.1-r1.ebuild 3303 BLAKE2B a700aaa393fedefe1bf0080d954f9f41c55b3e99e9fbe31064fa1b781a611840c272f67ff3b3152c2bbc1085d7c103314536e359c891515a097f0af04ca4be2b SHA512 a975a25ded7dfd2983c059ce05c4dcd3287c0203761037c5d9b6ef48c442bae5d48c2a9235ff4466d106591fc1a76753260ed8472d81476f18a69e2dc5d98f94
MISC metadata.xml 1229 BLAKE2B 63a2756fcb9cb9b2f59502a692e2c5c6852a765c9c97f4ac5e23e9630d516150fa9fa1890c1a0821794a3057323ede1c17405285428496dbed85d89c8995618d SHA512 d70b1c5187d7452c3a8e0f93803b01afada76bbde14966dbf9334a38a97eb3fbd8df41746fa300954e17f2845031517ddafebb5fec54c1a9bf13a88e47fa8285
diff --git a/dev-lang/gdl/gdl-1.0.0_rc3-r1.ebuild b/dev-lang/gdl/gdl-1.0.0_rc3-r3.ebuild
index 3ddd3c10fb22..1ff72195bd1c 100644
--- a/dev-lang/gdl/gdl-1.0.0_rc3-r1.ebuild
+++ b/dev-lang/gdl/gdl-1.0.0_rc3-r3.ebuild
@@ -27,20 +27,20 @@ REQUIRED_USE="python? ( ${PYTHON_REQUIRED_USE} )"
RDEPEND="
dev-cpp/antlr-cpp:2=
dev-libs/expat
- sci-libs/gsl:0=
- sci-libs/plplot:0=[X,cxx,-dynamic]
- sys-libs/ncurses:0=
- sys-libs/readline:0=
+ sci-libs/gsl:=
+ sci-libs/plplot:=[X,cxx,-dynamic]
+ sys-libs/ncurses:=
+ sys-libs/readline:=
sys-libs/zlib
x11-libs/libX11
fftw? ( sci-libs/fftw:3.0= )
glpk? ( sci-mathematics/glpk:= )
gshhs? (
sci-geosciences/gshhs-data
- sci-geosciences/gshhs:0=
+ sci-geosciences/gshhs:=
)
- hdf? ( sci-libs/hdf:0= )
- hdf5? ( sci-libs/hdf5:0= )
+ hdf? ( sci-libs/hdf:= )
+ hdf5? ( sci-libs/hdf5:= )
imagemagick? (
!graphicsmagick? ( media-gfx/imagemagick:=[cxx] )
graphicsmagick? ( media-gfx/graphicsmagick:=[cxx] )
@@ -53,8 +53,8 @@ RDEPEND="
dev-python/numpy[${PYTHON_USEDEP}]
)
tiff? (
- media-libs/tiff
- sci-libs/libgeotiff
+ media-libs/tiff:=
+ sci-libs/libgeotiff:=
)
udunits? ( sci-libs/udunits )
wxwidgets? ( x11-libs/wxGTK:${WX_GTK_VER}[X] )"
diff --git a/dev-lang/gdl/gdl-1.0.1.ebuild b/dev-lang/gdl/gdl-1.0.1-r1.ebuild
index e6c87cb4a0cc..07455093cffe 100644
--- a/dev-lang/gdl/gdl-1.0.1.ebuild
+++ b/dev-lang/gdl/gdl-1.0.1-r1.ebuild
@@ -25,20 +25,20 @@ RDEPEND="
dev-cpp/antlr-cpp:2=
dev-libs/expat
net-libs/libtirpc:=
- sci-libs/gsl:0=
- sci-libs/plplot:0=[X,cxx,-dynamic,wxwidgets?]
- sys-libs/ncurses:0=
- sys-libs/readline:0=
+ sci-libs/gsl:=
+ sci-libs/plplot:=[X,cxx,-dynamic,wxwidgets?]
+ sys-libs/ncurses:=
+ sys-libs/readline:=
sys-libs/zlib
x11-libs/libX11
fftw? ( sci-libs/fftw:3.0= )
glpk? ( sci-mathematics/glpk:= )
gshhs? (
sci-geosciences/gshhs-data
- sci-geosciences/gshhs:0=
+ sci-geosciences/gshhs:=
)
- hdf? ( sci-libs/hdf:0= )
- hdf5? ( sci-libs/hdf5:0= )
+ hdf? ( sci-libs/hdf:= )
+ hdf5? ( sci-libs/hdf5:= )
imagemagick? (
!graphicsmagick? ( media-gfx/imagemagick:=[cxx] )
graphicsmagick? ( media-gfx/graphicsmagick:=[cxx] )
@@ -52,10 +52,10 @@ RDEPEND="
dev-python/numpy[${PYTHON_USEDEP}]
')
)
- shapelib? ( sci-libs/shapelib:= )
+ shapelib? ( sci-libs/shapelib:= )
tiff? (
- media-libs/tiff
- sci-libs/libgeotiff
+ media-libs/tiff:=
+ sci-libs/libgeotiff:=
)
udunits? ( sci-libs/udunits )
wxwidgets? ( x11-libs/wxGTK:${WX_GTK_VER}[X] )
diff --git a/dev-lang/gnat-gpl/Manifest b/dev-lang/gnat-gpl/Manifest
index 86acac8c85bf..f1de865d789a 100644
--- a/dev-lang/gnat-gpl/Manifest
+++ b/dev-lang/gnat-gpl/Manifest
@@ -8,4 +8,4 @@ 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 gnat-gpl-2021-r4.ebuild 4615 BLAKE2B ec0b75822824a77ff8b34604ce59ef9e9d0f8526b7706149a22e2c0da93c091ed428e2006c666d6f07e9f55febc6d507f030efd647e4bf4221003dcdcc27d156 SHA512 45cdf8a332e5c24d625f49bd9afd346fd20fed21e4098fe51835fe49e51eb5e8b4c733b71bc1211e5164b6f8a07beee3a9c49c4999ac815f9790c938987848b1
-MISC metadata.xml 1960 BLAKE2B e06642a8ae69d163bd2450a4dbf2350399becc0fa933780cbf1378721ec127b033cb547c7aff22d4b89724aefe933c7c0eaac55eab4a223f45d138006dd3492e SHA512 81c3ceafdc0a4d73427d6b12c1bfa41d647e8c788e71e1de09e79de4795573e35e403fd03b981beb350a6e9b55b44fd0d8a2f7279e83c23273fc150a126f2b07
+MISC metadata.xml 2240 BLAKE2B 976f140816440b1f74bdef5a5a72a1bfcd2e689a016dec84981f4a8e1fba64cea5a4a359a4a127806a4b20919ad7e4067a664f6191c27c51c6775be27480b1f4 SHA512 d4a779da27417a8c25f3f456f878162ca2b9b6d97bae3d72566ace3cb205b8c6cb1dc7bf0f9dc5e68841a2ce783460fa7aee06b6d10843317920ede4e92d4976
diff --git a/dev-lang/gnat-gpl/metadata.xml b/dev-lang/gnat-gpl/metadata.xml
index 31ab10903d16..2f5323748c2c 100644
--- a/dev-lang/gnat-gpl/metadata.xml
+++ b/dev-lang/gnat-gpl/metadata.xml
@@ -9,6 +9,8 @@
<flag name="bootstrap">Used to bootstrap gnat-gpl</flag>
<flag name="cet" restrict="&gt;=dev-lang/gnat-gpl-2021">Enable support for Intel Control Flow Enforcement Technology (CET)</flag>
<flag name="d">Enable support for the D programming language</flag>
+ <flag name="default-stack-clash-protection">Build packages with stack clash protection on by default</flag>
+ <flag name="default-znow">Request full relocation on start from ld.so by default</flag>
<flag name="fixed-point">Enable fixed-point arithmetic support for MIPS
targets in gcc (Warning: significantly increases compile time!)
</flag>
@@ -26,6 +28,7 @@
<flag name="objc-gc">Build support for the Objective C code language
Garbage Collector</flag>
<flag name="pgo">Build GCC using Profile Guided Optimization (PGO)</flag>
+ <flag name="rust">Build support for the Rust language, installs gccrs.</flag>
<flag name="sanitize">Build support for various sanitizer functions (ASAN/TSAN/etc...)</flag>
<flag name="systemtap">enable systemtap static probe points</flag>
<flag name="ssp">Build packages with stack smashing protector on by default</flag>