From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/files/, sci-mathematics/why3-for-spark/
Date: Sun, 2 Apr 2023 21:05:27 +0000 (UTC) [thread overview]
Message-ID: <1680469502.8395f9bd24c6d239774bcc990eaaca63b9d77ef2.tupone@gentoo> (raw)
commit: 8395f9bd24c6d239774bcc990eaaca63b9d77ef2
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Apr 2 21:04:18 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Apr 2 21:05:02 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8395f9bd
sci-mathematics/why3-for-spark: disable shuffle
Closes: https://bugs.gentoo.org/883167
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
.../why3-for-spark/files/why3-for-spark-2021-make.patch | 11 +++++++++++
sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 1 +
2 files changed, 12 insertions(+)
diff --git a/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch
new file mode 100644
index 000000000000..5eba27fd5d0e
--- /dev/null
+++ b/sci-mathematics/why3-for-spark/files/why3-for-spark-2021-make.patch
@@ -0,0 +1,11 @@
+--- a/Makefile.in 2023-04-02 22:54:43.160504917 +0200
++++ b/Makefile.in 2023-04-02 22:55:05.194152231 +0200
+@@ -9,6 +9,8 @@
+ # #
+ ####################################################################
+
++.NOTPARALLEL: notparallel
++
+ VERBOSEMAKE ?= @enable_verbose_make@
+
+ ifeq ($(VERBOSEMAKE),yes)
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 10f8a95c8393..4204da3000b6 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
@@ -52,6 +52,7 @@ S="${WORKDIR}"/${MYP}
PATCHES=(
"${FILESDIR}"/${PN}-2020-gentoo.patch
"${FILESDIR}"/${P}-flags.patch
+ "${FILESDIR}"/${P}-make.patch #Bug #883167
"${FILESDIR}"/${PN}-2020-bibtex.patch
)
next reply other threads:[~2023-04-02 21:05 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-04-02 21:05 Alfredo Tupone [this message]
-- strict thread matches above, loose matches on Subject: below --
2025-02-11 17:09 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/files/, sci-mathematics/why3-for-spark/ Alfredo Tupone
2025-02-07 20:56 Alfredo Tupone
2023-04-02 14:24 Alfredo Tupone
2023-04-02 12:48 Alfredo Tupone
2021-06-29 19:38 Alfredo Tupone
2020-06-12 21:24 Alfredo Tupone
2017-11-01 20:31 Alfredo Tupone
2017-10-19 19:44 Alfredo Tupone
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1680469502.8395f9bd24c6d239774bcc990eaaca63b9d77ef2.tupone@gentoo \
--to=tupone@gentoo.org \
--cc=gentoo-commits@lists.gentoo.org \
--cc=gentoo-dev@lists.gentoo.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox