summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-10-09 14:47:29 +0200
committerAlfredo Tupone <tupone@gentoo.org>2022-10-09 14:49:15 +0200
commit4a4a132915a265dbccb82a18ae70a0b988b8c656 (patch)
treed2bd2bc79f18131b6c80e715152b10f8c478de7d /dev-ml/lwt
parentdev-java/joda-time: Stabilize 2.11.2 ppc64, #875794 (diff)
downloadgentoo-4a4a132915a265dbccb82a18ae70a0b988b8c656.tar.gz
gentoo-4a4a132915a265dbccb82a18ae70a0b988b8c656.tar.bz2
gentoo-4a4a132915a265dbccb82a18ae70a0b988b8c656.zip
dev-ml/lwt: remove seq dependency
Closes: https://bugs.gentoo.org/872674 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/lwt')
-rw-r--r--dev-ml/lwt/lwt-5.4.2-r1.ebuild8
1 files changed, 8 insertions, 0 deletions
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