gentoo auto-resync : 21:11:2024 - 03:03:00

6 files changed, 20 insertions, 2 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index bc29b07e7391..b3b97af2e89b 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/glpk/Manifest b/sci-mathematics/glpk/Manifest
index 391e1b92fa60..acf01e68a386 100644
--- a/sci-mathematics/glpk/Manifest
+++ b/sci-mathematics/glpk/Manifest
@@ -3,5 +3,5 @@ AUX glpk-4.65-fix-mysql-include-prefix.patch 1837 BLAKE2B ecd90024e07f29e8ebb6af
 AUX glpk-5.0-aliasing.patch 2997 BLAKE2B 8d67fd1a4eba4af91281d7858e2ae0faed74bce92be981f842ff4b7e2cc84ec465fa82acc0f605fc0cd6310881b5c90baae3001a474b71b2ce2d4d2c689fb46d SHA512 392bfcb2c7319899abdc414b59e7f95beeefc4cabad7603d79734eeca8665a6a99e373a97c0e88a5bce923090d2c3ae8cae0845c2222c389090d3b9009e02e92
 DIST glpk-5.0.tar.gz 4132649 BLAKE2B f8204f66a97af950c13ee72ee9541f305745741d1231325670ede14663cb6c28ec6fbc44b3625973f1924ca078183d1d43f494ad43a7b48b45be131882b00001 SHA512 4e92195fa058c707146f2690f3a38b46c33add948c852f67659ca005a6aa980bbf97be96528b0f8391690facb880ac2126cd60198c6c175e7f3f06cca7e29f9d
 EBUILD glpk-5.0-r1.ebuild 2573 BLAKE2B 86b24b612643deb53ad466534cb640831549eb1412cf379bae02307a9957c693716050cb35770ec891d50d91ffbf3fa218ec7fc43400d9234c49637ae6a4064f SHA512 c20ba1c1eb265a9667979cdf286bb69e9e032454ffdfade04d5700806c6473313efe428c6321ee9db43751a19ff11520315aae7b4e9b41ab921c0fabe1c08355
-EBUILD glpk-5.0-r3.ebuild 2418 BLAKE2B 11802a3c7b2a4ae6a688bf2283ac44fb499241487b2da3a5c48ae226fe6f538e2ba4cd78f9695be4dace47b2da80fd2d36998991d3c8a9819f41dc04d139977e SHA512 8199dc20067ab872778b6b2f3dc375ecac1a6a369897feeeef91324720e67c7a71883cf1ead8a826d74d8b3bca7656ab496a6f12c1c05ea177b35645f8025ca4
+EBUILD glpk-5.0-r3.ebuild 2576 BLAKE2B 36e0d633144014a570b01073597c74e34310fc2386a5e5d927eb91657332d285211f3b7a4aec6c336f9f836fb5e8d04284e832ad7f0fe467c6f0e9a5e0841f49 SHA512 849cdbff9a60ed170d77172bd292ba9f167bcc6ae301ec30150877eda3d5edfef821c426ce334063d004b577c76d9b9cd13024e8260c83ba9202837cfa60bc1f
 MISC metadata.xml 1104 BLAKE2B f22121178a0e7f3ab097558b05cb084a7dc787cc1530859d6182aea61abee220e135ad695f517419053bb805cecef9c3555fcdb2688d6b6d17cdd8b3ce2dbb21 SHA512 965c2c6c322c488736cb9743f1e076fdf2733976502b2b2668717534f7a1505f36b84f453f23f4ff5972f7a25883d253e345caef727bab8abed4c638f5a0dc5a
diff --git a/sci-mathematics/glpk/glpk-5.0-r3.ebuild b/sci-mathematics/glpk/glpk-5.0-r3.ebuild
index 477d3016240a..15451c216ae9 100644
--- a/sci-mathematics/glpk/glpk-5.0-r3.ebuild
+++ b/sci-mathematics/glpk/glpk-5.0-r3.ebuild
@@ -48,6 +48,10 @@ src_prepare() {
 	use odbc && [[ -z $(type -P odbc_config) ]] && \
 		append-cppflags $($(tc-getPKG_CONFIG) --cflags libiodbc)
 
+	# Newer GNU standards fail to compile thanks to "bool", while using
+	# ISO C17 breaks thread safety... and also fails to compile.
+	append-cflags -std=gnu17
+
 	default
 
 	eautoreconf
diff --git a/sci-mathematics/why3/Manifest b/sci-mathematics/why3/Manifest
index 32defd10808f..bbaca0e7ab6e 100644
--- a/sci-mathematics/why3/Manifest
+++ b/sci-mathematics/why3/Manifest
@@ -1,5 +1,6 @@
+AUX why3-1.7.2-signum.patch 406 BLAKE2B ab81e95db7537a31fd75e3d0551ee57cf664aa6f41779c2d72100b39c88ca0f3a90fa517e07dd1f17c3f93fff134802cb1e3fa192e15b66b8163e840c1e75dd8 SHA512 3491b58cc54bfdd8601242b2f78d7a8afbed8097758610dd38815e8ed90cf462d02ded16905838a51275fd16ed634f89ba11e38a8d573c78ca01477fcfa35237
 DIST why3-1.6.0.tar.gz 6850062 BLAKE2B 91db6f67a9d0fe24b7d7d18e6c5e9cd362563a55702bfb28c478754f53e831beb3033adde251214facd8d64ab923389b0b9fe7b240b6cd09f0b4b3e6f8eca143 SHA512 60d61b8337ab9f2fd2e6c7174eb0bab063f122417738cd75990c5c53120dd535bcedccb670567f5753853d6bc9f8efebb563d079e4d368372a7687193f1346b1
 DIST why3-1.7.2.tar.gz 7005562 BLAKE2B cd1b25e35147a319e5d5d1f1380ecfaa3555624c797459e8df5cb3b1558928d9c02b567645a2f2952b877c7135a5a393f4b734dd35e569bea6e6b073708901ce SHA512 7e80671480ce0dc3c69514bea2836f5899c686b43a4e8607c27d28e63f78150150dc45fcac5760dbee9721d363e456b1dcaeb1501fc9f63f360722a1021f675f
 EBUILD why3-1.6.0.ebuild 2348 BLAKE2B 0b8f27f14bb7d2117a9f5f6451d12e57ae3123ac6f491c653fb762bdf2410b5af17f9f3d7c2655c56f6a2f3f198aad07411a7c07e4943e62e1673b66e4779e41 SHA512 7a4ff6be794f77a6a319ee5e39e0bb3c80c82777d45da510d54ab6ac1793c0d249ebf10516c4db4ad7bf27441a0ef37171c43c04295ae0bd757f34619ac6fd61
-EBUILD why3-1.7.2.ebuild 2364 BLAKE2B f58d8a3fe69e1f50efd2fa08b47091e83a80fb8796c0b8326d242ab918792342817abf61422f0b930f94e14a333e332ec48254ffa95522e93637a8814e14f917 SHA512 45fc4136e2efb6e95c3bf39a48857246e02be2cf557fda5d2f231cd8e9b004ad23d197b8b2566c6b041f18471994dec9e679f83979ac355bfa4f2e6247af98b4
+EBUILD why3-1.7.2.ebuild 2409 BLAKE2B c26ca5d897b83c8b9a7c48216b5f3753b246cf9f3d1f1532d7f0fbe02e327a6df21634866db07483e3e1b7f7493163b2dcf632b29ecfabf1d9e672d30ce1c8a9 SHA512 f02f1161252451824854c61615e049a90761321f433727bf25590f3777351bff991732ef761d8f11951fb0d54afe8ccc50bfef60ff2bf1611f6437e050451d56
 MISC metadata.xml 1902 BLAKE2B 1868834e446b471f4b3f7b11fc987661dee83790110fa31c73f0060fd8340891ff85ec16591d1326977760c726ec04bd06a4cca46fb1a87f792340a002cba247 SHA512 4dc9408d44eafc037bfce9c996570e58c161e07c3ded2a052954c834fcf8c3a36cf8429493bc705ced7445d199eaf207cabb5df1b0ed6b625015af518e55d9e9
diff --git a/sci-mathematics/why3/files/why3-1.7.2-signum.patch b/sci-mathematics/why3/files/why3-1.7.2-signum.patch
new file mode 100644
index 000000000000..97c014df8b91
--- /dev/null
+++ b/sci-mathematics/why3/files/why3-1.7.2-signum.patch
@@ -0,0 +1,11 @@
+--- a/src/server/cpulimit-unix.c	2024-11-20 22:37:00.519645455 +0100
++++ b/src/server/cpulimit-unix.c	2024-11-20 22:39:55.096447774 +0100
+@@ -42,7 +42,7 @@
+   }
+ }
+ 
+-void wallclock_timelimit_reached() {
++void wallclock_timelimit_reached(__attribute__((unused)) int signum) {
+   fprintf(stderr,
+           "Why3cpulimit: wallclock timelimit %d reached, killing command\n",
+           wallclock_timelimit);
diff --git a/sci-mathematics/why3/why3-1.7.2.ebuild b/sci-mathematics/why3/why3-1.7.2.ebuild
index 7517d54b1b67..888c5c48f865 100644
--- a/sci-mathematics/why3/why3-1.7.2.ebuild
+++ b/sci-mathematics/why3/why3-1.7.2.ebuild
@@ -46,6 +46,8 @@ BDEPEND="
 
 DOCS=( CHANGES.md README.md )
 
+PATCHES=( "${FILESDIR}"/${P}-signum.patch )
+
 src_prepare() {
 	mv configure.in configure.ac || die