public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
From: "Alfredo Tupone" <tupone@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-ml/lwt/
Date: Sun,  9 Oct 2022 12:49:29 +0000 (UTC)	[thread overview]
Message-ID: <1665319755.4a4a132915a265dbccb82a18ae70a0b988b8c656.tupone@gentoo> (raw)

commit:     4a4a132915a265dbccb82a18ae70a0b988b8c656
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Oct  9 12:47:29 2022 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Oct  9 12:49:15 2022 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a4a1329

dev-ml/lwt: remove seq dependency

Closes: https://bugs.gentoo.org/872674

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/lwt/lwt-5.4.2-r1.ebuild | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/dev-ml/lwt/lwt-5.4.2-r1.ebuild b/dev-ml/lwt/lwt-5.4.2-r1.ebuild
index 416c08864003..37deef97464a 100644
--- a/dev-ml/lwt/lwt-5.4.2-r1.ebuild
+++ b/dev-ml/lwt/lwt-5.4.2-r1.ebuild
@@ -27,6 +27,14 @@ BDEPEND="
 	dev-ml/cppo
 	dev-ml/findlib"
 
+src_prepare() {
+	sed -i \
+		-e "s: seq::" \
+		src/core/dune \
+		die
+	default
+}
+
 src_install() {
 	local i
 	for i in lwt lwt_luv lwt_ppx lwt_react ; do


             reply	other threads:[~2022-10-09 12:49 UTC|newest]

Thread overview: 54+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-10-09 12:49 Alfredo Tupone [this message]
  -- strict thread matches above, loose matches on Subject: below --
2025-03-08 12:01 [gentoo-commits] repo/gentoo:master commit in: dev-ml/lwt/ Arthur Zamarin
2024-11-16 21:09 Alfredo Tupone
2024-10-20  7:50 Alfredo Tupone
2024-10-17 18:46 Alfredo Tupone
2023-10-08 20:16 Sam James
2023-10-08 17:41 Arthur Zamarin
2023-10-08 17:41 Arthur Zamarin
2023-10-08 16:21 Arthur Zamarin
2023-09-02 13:17 Alfredo Tupone
2023-04-24 11:38 Alfredo Tupone
2023-01-24 18:16 Maciej Barć
2022-04-18 21:07 Jakov Smolić
2021-12-08  2:13 Maciej Barć
2021-11-20 10:24 Arthur Zamarin
2021-11-20 10:24 Arthur Zamarin
2021-11-07 19:14 Alfredo Tupone
2021-11-07 12:18 Alfredo Tupone
2021-10-29 19:15 Alfredo Tupone
2021-10-03  9:58 Alfredo Tupone
2021-03-14  0:48 Sam James
2021-02-11  6:31 Sam James
2021-02-11  6:26 Sam James
2021-02-10 18:53 Sam James
2021-02-10 16:33 Sam James
2020-12-02 18:27 Aaron Bauman
2020-12-02 17:46 Aaron Bauman
2020-10-17  5:41 Sam James
2018-02-11 21:56 Thomas Deutschmann
2017-08-02 11:23 Alexis Ballier
2017-07-30 15:39 Sergei Trofimovich
2017-07-24  5:56 Alexis Ballier
2017-07-21 18:32 Alexis Ballier
2017-07-21 12:38 Alexis Ballier
2017-06-22 14:24 Alexis Ballier
2017-05-02 11:12 Alexis Ballier
2017-04-25 16:25 Alexis Ballier
2017-04-20 13:25 Alexis Ballier
2017-04-20 13:24 Alexis Ballier
2017-04-20 13:24 Alexis Ballier
2017-04-12 19:20 Alexis Ballier
2017-04-11  4:42 Alexis Ballier
2017-04-05 17:50 Markus Meier
2017-04-05  9:51 Michael Weber
2017-01-24 11:14 Alexis Ballier
2017-01-04 11:58 Alexis Ballier
2016-12-07 19:33 Alexis Ballier
2016-06-29 21:12 Michał Górny
2016-06-23 14:24 Alexis Ballier
2016-06-23 14:24 Alexis Ballier
2016-05-03  9:14 Alexis Ballier
2016-02-07 16:14 Alexis Ballier
2016-02-06 15:07 Alexis Ballier
2015-12-09 10:24 Alexis Ballier

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=1665319755.4a4a132915a265dbccb82a18ae70a0b988b8c656.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