diff --git a/dev-ml/mirage-net/Manifest b/dev-ml/mirage-net/Manifest new file mode 100644 index 0000000000..5256306e4d --- /dev/null +++ b/dev-ml/mirage-net/Manifest @@ -0,0 +1 @@ +DIST mirage-net-v4.0.0.tbz 3935 BLAKE2B f41dfd68d98048bd98baa6251ca91f7d7a21bfa4b7055bc93be8b51127131375a29f4294b0b5f6058dd34038c40afcc638a9ac4e3b25cb5fc94238aa959370c4 SHA512 52064dc704ebd0d305fd234b6d89fc313d5a80016d8875ef93212a1962ad8b1f332f7b0338244afbb2d2f207a28d476e7d7639be9dc607d95145afee7fccc483 diff --git a/dev-ml/mirage-net/metadata.xml b/dev-ml/mirage-net/metadata.xml new file mode 100644 index 0000000000..dae051bbbf --- /dev/null +++ b/dev-ml/mirage-net/metadata.xml @@ -0,0 +1,11 @@ + + + + + lssndrbarbieri@gmail.com + Alessandro Barbieri + + + mirage/mirage-net + + diff --git a/dev-ml/mirage-net/mirage-net-4.0.0.ebuild b/dev-ml/mirage-net/mirage-net-4.0.0.ebuild new file mode 100644 index 0000000000..f9d83337c8 --- /dev/null +++ b/dev-ml/mirage-net/mirage-net-4.0.0.ebuild @@ -0,0 +1,26 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +MY_P="${PN}-v${PV}" + +DESCRIPTION="Network devices for MirageOS" +HOMEPAGE="https://github.com/mirage/mirage-net" +SRC_URI="https://github.com/mirage/${PN}/releases/download/v${PV}/${MY_P}.tbz" +S="${WORKDIR}/${MY_P}" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +RDEPEND=" + dev-ml/fmt + dev-ml/ipaddr + dev-ml/lwt + >=dev-ml/cstruct-4.0.0 +" +DEPEND="${RDEPEND}"