diff --git a/dev-ml/shared-memory-ring/Manifest b/dev-ml/shared-memory-ring/Manifest new file mode 100644 index 0000000000..53e86f87d2 --- /dev/null +++ b/dev-ml/shared-memory-ring/Manifest @@ -0,0 +1 @@ +DIST shared-memory-ring-3.1.0.tar.gz 20345 BLAKE2B 85677658ed769c355106e47cbaf65acecbe3fd77ea23a1aae2ae608fef28ecfc12bb8a2d19131b1e623467c6101d0cbd49cc6d3fe52ee15d9101fb5558b6abeb SHA512 f49375cd8b32ddddb0a3402fa8bfaa5b4b1cbb3a68ced8facae6200f75224c5b6fbb4e3b0cc74e01d95aa2b46154051e077c39e9ed8c71997107b17fc888f25f diff --git a/dev-ml/shared-memory-ring/metadata.xml b/dev-ml/shared-memory-ring/metadata.xml new file mode 100644 index 0000000000..7cd2f0428f --- /dev/null +++ b/dev-ml/shared-memory-ring/metadata.xml @@ -0,0 +1,11 @@ + + + + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + mirage/shared-memory-ring + + diff --git a/dev-ml/shared-memory-ring/shared-memory-ring-3.1.0.ebuild b/dev-ml/shared-memory-ring/shared-memory-ring-3.1.0.ebuild new file mode 100644 index 0000000000..d8d9fab26d --- /dev/null +++ b/dev-ml/shared-memory-ring/shared-memory-ring-3.1.0.ebuild @@ -0,0 +1,28 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="Xen-style shared memory rings" +HOMEPAGE="https://github.com/mirage/shared-memory-ring" +SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +RDEPEND=" + dev-ml/cstruct + dev-ml/lwt + dev-ml/lwt-dllist + dev-ml/mirage-profile +" +DEPEND="${RDEPEND}" + +src_install() { + dune_src_install shared-memory-ring + dune_src_install shared-memory-ring-lwt +}