summaryrefslogtreecommitdiff
path: root/dev-ml/lwt/lwt-5.4.2-r1.ebuild
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-10-09 19:32:31 +0100
committerV3n3RiX <venerix@koprulu.sector>2022-10-09 19:32:31 +0100
commit861ffe012c63c48053fb77b5110cbe900f651dfd (patch)
tree3c59644581a43a1bcde4f45d912b96b4dd44f446 /dev-ml/lwt/lwt-5.4.2-r1.ebuild
parent759ce88b1b7c5011b611ddefc6c5ce8513210e46 (diff)
gentoo auto-resync : 09:10:2022 - 19:32:30
Diffstat (limited to 'dev-ml/lwt/lwt-5.4.2-r1.ebuild')
-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