[gentoo-commits] repo/proj/guru:dev commit in: dev-ml/io-page/

[gentoo-commits] repo/proj/guru:dev commit in: dev-ml/io-page/

[Alessandro Barbieri]

commit:     0f7ade2768629f0da604de4a18183ee851504d9d
Author:     Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Sat Apr  2 23:08:52 2022 +0000
Commit:     Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Sun Apr  3 23:46:07 2022 +0000
URL:        https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=0f7ade27

dev-ml/io-page: initial import

Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>

 dev-ml/io-page/Manifest             |  2 ++
 dev-ml/io-page/io-page-2.2.0.ebuild | 28 ++++++++++++++++++++++++++++
 dev-ml/io-page/io-page-2.4.0.ebuild | 23 +++++++++++++++++++++++
 dev-ml/io-page/metadata.xml         | 12 ++++++++++++
 4 files changed, 65 insertions(+)

diff --git a/dev-ml/io-page/Manifest b/dev-ml/io-page/Manifest
new file mode 100644
index 000000000..0525edf5b
--- /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 000000000..6c0aac10d
--- /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 000000000..40f2ed73c
--- /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 000000000..0cf20d003
--- /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>