diff --git a/dev-ml/mirage-channel/Manifest b/dev-ml/mirage-channel/Manifest new file mode 100644 index 0000000000..91a6a024ca --- /dev/null +++ b/dev-ml/mirage-channel/Manifest @@ -0,0 +1 @@ +DIST mirage-channel-4.1.0.tar.gz 8219 BLAKE2B 946d012d286d550ba5cae9c91bccb0b1cefedf61fae0787c19424e1e089d37bd0a67c1fb69067ecc2f73b5869c498639460027afdaa2eb66b064ca776512fe47 SHA512 92130890acfcbc2ab1c4882259b10e2ac6d608c9ed1bb7e98d1356b1239e0518790829e295c1d14f34a5621640f0fa41b732945e66f98a47dadab53b142461ec diff --git a/dev-ml/mirage-channel/metadata.xml b/dev-ml/mirage-channel/metadata.xml new file mode 100644 index 0000000000..fa66e57c18 --- /dev/null +++ b/dev-ml/mirage-channel/metadata.xml @@ -0,0 +1,11 @@ + + + + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + mirage/mirage-channel + + diff --git a/dev-ml/mirage-channel/mirage-channel-4.1.0.ebuild b/dev-ml/mirage-channel/mirage-channel-4.1.0.ebuild new file mode 100644 index 0000000000..5b7981845b --- /dev/null +++ b/dev-ml/mirage-channel/mirage-channel-4.1.0.ebuild @@ -0,0 +1,23 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="An implementation of channels using page-aligned memory" +HOMEPAGE="https://github.com/mirage/mirage-time" +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/logs + dev-ml/lwt + dev-ml/mirage-flow +" +DEPEND="${RDEPEND}"