diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-10-09 14:47:29 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-10-09 14:49:15 +0200 |
| commit | 4a4a132915a265dbccb82a18ae70a0b988b8c656 (patch) | |
| tree | d2bd2bc79f18131b6c80e715152b10f8c478de7d /dev-ml | |
| parent | dev-java/joda-time: Stabilize 2.11.2 ppc64, #875794 (diff) | |
| download | gentoo-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')
| -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 |