commit: 67657d68adb49d8c57f3b0130f4a558aef3c6407 Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org> AuthorDate: Sat Apr 12 07:15:19 2025 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Sat Apr 12 07:15:38 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=67657d68
sci-mathematics/why3-for-spark: fix for c23 Closes: https://bugs.gentoo.org/945325 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> .../files/why3-for-spark-2021-sighandler.patch | 15 +++++++++++++++ .../why3-for-spark/why3-for-spark-2021-r1.ebuild | 3 ++- .../why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild | 1 + 3 files changed, 18 insertions(+), 1 deletion(-) diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-sighandler.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-sighandler.patch new file mode 100644 index 000000000000..923c7c04033c --- /dev/null +++ b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-sighandler.patch @@ -0,0 +1,15 @@ +--- a/src/server/cpulimit-unix.c 2025-04-12 09:08:31.099116998 +0200 ++++ b/src/server/cpulimit-unix.c 2025-04-12 09:11:45.097592212 +0200 +@@ -42,10 +42,11 @@ + } + } + +-void wallclock_timelimit_reached() { ++void wallclock_timelimit_reached(int signum) { + fprintf(stderr, + "Why3cpulimit: wallclock timelimit %d reached, killing command\n", + wallclock_timelimit); ++ (void)signum; + } + + diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild index 962d85cf88de..88eff56c735b 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2024 Gentoo Authors +# Copyright 1999-2025 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -54,6 +54,7 @@ PATCHES=( "${FILESDIR}"/${P}-flags.patch "${FILESDIR}"/${P}-make.patch #Bug #883167 "${FILESDIR}"/${PN}-2020-bibtex.patch + "${FILESDIR}"/${P}-sighandler.patch ) QA_FLAGS_IGNORED=( diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild index d05877b02402..d4757caaf1b7 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2023.12.13-r2.ebuild @@ -53,6 +53,7 @@ PATCHES=( "${FILESDIR}"/${PN}-2021-make.patch #Bug #883167 "${FILESDIR}"/${PN}-2020-bibtex.patch "${FILESDIR}"/${P}-spark.patch + "${FILESDIR}"/${PN}-2021-sighandler.patch ) QA_FLAGS_IGNORED=(
