diff options
author | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-04-03 01:08:52 +0200 |
---|---|---|
committer | Alessandro Barbieri <lssndrbarbieri@gmail.com> | 2022-04-04 01:46:07 +0200 |
commit | 0f7ade2768629f0da604de4a18183ee851504d9d (patch) | |
tree | 8a0eea3ea9eabefffe7fab803b02afe03ea71a59 | |
parent | dev-ml/xenstore-clients: initial import (diff) | |
download | guru-0f7ade27.tar.gz guru-0f7ade27.tar.bz2 guru-0f7ade27.zip |
dev-ml/io-page: initial import
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
-rw-r--r-- | dev-ml/io-page/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/io-page/io-page-2.2.0.ebuild | 28 | ||||
-rw-r--r-- | dev-ml/io-page/io-page-2.4.0.ebuild | 23 | ||||
-rw-r--r-- | dev-ml/io-page/metadata.xml | 12 |
4 files changed, 65 insertions, 0 deletions
diff --git a/dev-ml/io-page/Manifest b/dev-ml/io-page/Manifest new file mode 100644 index 0000000000..0525edf5b4 --- /dev/null +++ b/dev-ml/io-page/Manifest @@ -0,0 +1,2 @@ +DIST io-page-v2.2.0.tbz 7961 BLAKE2B 6c8621fb1300d92b9e7fe1c371d4f3035927753727527f1587a6c0b6b8c5d979053b25b52309a1f97e844ec776e0b832725954ebe55501bb98dfd851f1ff9c0d SHA512 4240bbc0c7b6c8c1bc0b628fcde51c73bc7f6e49b2cd7157e32d3277d1fe31f0604829a1ae49c84524922d3954ead870e02d215768310b21a0b1f57ee7344294 +DIST io-page-v2.4.0.tbz 7750 BLAKE2B d97a19b52d74283c0577f76962f6f685ee716cf51f8e79c480a110a2bf7e1197d7e463b5bbbdec9997a81b5c606191de2a0918d146cbe7374cf84250d354fbc8 SHA512 4dcaff2132a74c7e69ab743534d913b15690f6deef02a94997dc61c08c62f735faf6fb1466f2f3af719fede8237da6a6b808cec45e1147c688ff240a02dc133e diff --git a/dev-ml/io-page/io-page-2.2.0.ebuild b/dev-ml/io-page/io-page-2.2.0.ebuild new file mode 100644 index 0000000000..6c0aac10db --- /dev/null +++ b/dev-ml/io-page/io-page-2.2.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 + +MY_P="${PN}-v${PV}" + +DESCRIPTION="IO memory page library for Mirage backends" +HOMEPAGE="https://github.com/mirage/io-page" +SRC_URI="https://github.com/mirage/io-page/releases/download/v${PV}/${MY_P}.tbz" +S="${WORKDIR}/${MY_P}" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +RDEPEND=" + dev-ml/bigarray-compat + dev-ml/cstruct +" +DEPEND="${RDEPEND}" + +src_install() { + dune_src_install "io-page io-page-unix io-page-xen" +} diff --git a/dev-ml/io-page/io-page-2.4.0.ebuild b/dev-ml/io-page/io-page-2.4.0.ebuild new file mode 100644 index 0000000000..40f2ed73c4 --- /dev/null +++ b/dev-ml/io-page/io-page-2.4.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 + +MY_P=${PN}-v${PV} +DESCRIPTION="IO memory page library for Mirage backends" +HOMEPAGE="https://github.com/mirage/io-page" +SRC_URI="https://github.com/mirage/io-page/releases/download/v${PV}/${MY_P}.tbz" +S="${WORKDIR}/${MY_P}" + +LICENSE="ISC" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="ocamlopt" + +RDEPEND=" + dev-ml/bigarray-compat + dev-ml/cstruct +" +DEPEND="${RDEPEND}" diff --git a/dev-ml/io-page/metadata.xml b/dev-ml/io-page/metadata.xml new file mode 100644 index 0000000000..0cf20d003c --- /dev/null +++ b/dev-ml/io-page/metadata.xml @@ -0,0 +1,12 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="person"> + <description>co-maintainers welcome</description> + <email>lssndrbarbieri@gmail.com</email> + <name>Alessandro Barbieri</name> + </maintainer> + <upstream> + <remote-id type="github">mirage/io-page</remote-id> + </upstream> +</pkgmetadata> |