diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-10-09 19:32:31 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-10-09 19:32:31 +0100 |
commit | 861ffe012c63c48053fb77b5110cbe900f651dfd (patch) | |
tree | 3c59644581a43a1bcde4f45d912b96b4dd44f446 /dev-ml/lwt/lwt-5.4.2-r1.ebuild | |
parent | 759ce88b1b7c5011b611ddefc6c5ce8513210e46 (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.ebuild | 8 |
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 |