From 0e99d4434cea3e82da428698f437933bda34b38f Mon Sep 17 00:00:00 2001 From: Alessandro Barbieri Date: Sat, 9 Apr 2022 11:52:43 +0200 Subject: [PATCH] dev-ml/polly: initial import Signed-off-by: Alessandro Barbieri --- dev-ml/polly/Manifest | 1 + dev-ml/polly/metadata.xml | 11 +++++++++++ dev-ml/polly/polly-0.2.2.ebuild | 21 +++++++++++++++++++++ 3 files changed, 33 insertions(+) create mode 100644 dev-ml/polly/Manifest create mode 100644 dev-ml/polly/metadata.xml create mode 100644 dev-ml/polly/polly-0.2.2.ebuild diff --git a/dev-ml/polly/Manifest b/dev-ml/polly/Manifest new file mode 100644 index 0000000000..5943501ed5 --- /dev/null +++ b/dev-ml/polly/Manifest @@ -0,0 +1 @@ +DIST polly-0.2.2.tar.gz 6698 BLAKE2B 0e4c7dae1314e0879504a3bdcb073649290498e90ea64aef3d3e99c10d430cc31ab19732b71257b1ba70a132eb70e04f8d4f919809e8bd71a7dcabdafcfc506b SHA512 ac5c60bdf029baf5cb50e96322b029acf270ec50361ca077f8da88f3fded6b50314b116f6a2c7d88f627b098490481391fc0190e26902088f8d689c804c8b457 diff --git a/dev-ml/polly/metadata.xml b/dev-ml/polly/metadata.xml new file mode 100644 index 0000000000..08de9a72fc --- /dev/null +++ b/dev-ml/polly/metadata.xml @@ -0,0 +1,11 @@ + + + + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + lindig/polly + + diff --git a/dev-ml/polly/polly-0.2.2.ebuild b/dev-ml/polly/polly-0.2.2.ebuild new file mode 100644 index 0000000000..a39abb639d --- /dev/null +++ b/dev-ml/polly/polly-0.2.2.ebuild @@ -0,0 +1,21 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="OCaml bindings for Linux epoll(2)" +HOMEPAGE="https://github.com/lindig/polly" +SRC_URI="https://github.com/lindig/${PN}/archive/refs/tags/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="MIT" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +DEPEND=" + dev-ml/base-unix + dev-ml/cmdliner +" +RDEPEND="${DEPEND}"