diff options
| author | Alfredo Tupone <tupone@gentoo.org> | 2023-07-08 18:04:59 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-07-08 18:34:48 +0200 |
| commit | 0de38d5350a12bb151cc63bc15f1204ab5977574 (patch) | |
| tree | ebc4e78795a955aa793c93b85f86f2c52f765987 /dev-ml/async_unix/async_unix-0.16.0.ebuild | |
| parent | 5ca12e07cbcd48960ea266e47df1c2702d6f038a (diff) | |
| download | gentoo-0de38d5350a12bb151cc63bc15f1204ab5977574.tar.gz gentoo-0de38d5350a12bb151cc63bc15f1204ab5977574.tar.bz2 gentoo-0de38d5350a12bb151cc63bc15f1204ab5977574.zip | |
dev-ml/async_unix: add 0.16.0
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/async_unix/async_unix-0.16.0.ebuild')
| -rw-r--r-- | dev-ml/async_unix/async_unix-0.16.0.ebuild | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/async_unix/async_unix-0.16.0.ebuild b/dev-ml/async_unix/async_unix-0.16.0.ebuild new file mode 100644 index 000000000000..c8ec8cfad6cf --- /dev/null +++ b/dev-ml/async_unix/async_unix-0.16.0.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2023 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Jane Street Capital's asynchronous execution library (unix)" +HOMEPAGE="https://github.com/janestreet/async_unix" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/$(ver_cut 1-2)" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="+ocamlopt" + +RDEPEND=" + >=dev-lang/ocaml-4.14 + dev-ml/async_kernel:${SLOT} + dev-ml/core:${SLOT} + dev-ml/core_kernel:${SLOT} + dev-ml/core_unix:${SLOT} + dev-ml/ppx_jane:${SLOT} +" +DEPEND="${RDEPEND}" |
