Gentoo Archives: gentoo-commits

From: Alessandro Barbieri <lssndrbarbieri@×××××.com>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/proj/guru:dev commit in: dev-ml/io-page/
Date: Sun, 03 Apr 2022 23:49:47
Message-Id: 1649029567.0f7ade2768629f0da604de4a18183ee851504d9d.Alessandro-Barbieri@gentoo
1 commit: 0f7ade2768629f0da604de4a18183ee851504d9d
2 Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
3 AuthorDate: Sat Apr 2 23:08:52 2022 +0000
4 Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
5 CommitDate: Sun Apr 3 23:46:07 2022 +0000
6 URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=0f7ade27
7
8 dev-ml/io-page: initial import
9
10 Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
11
12 dev-ml/io-page/Manifest | 2 ++
13 dev-ml/io-page/io-page-2.2.0.ebuild | 28 ++++++++++++++++++++++++++++
14 dev-ml/io-page/io-page-2.4.0.ebuild | 23 +++++++++++++++++++++++
15 dev-ml/io-page/metadata.xml | 12 ++++++++++++
16 4 files changed, 65 insertions(+)
17
18 diff --git a/dev-ml/io-page/Manifest b/dev-ml/io-page/Manifest
19 new file mode 100644
20 index 000000000..0525edf5b
21 --- /dev/null
22 +++ b/dev-ml/io-page/Manifest
23 @@ -0,0 +1,2 @@
24 +DIST io-page-v2.2.0.tbz 7961 BLAKE2B 6c8621fb1300d92b9e7fe1c371d4f3035927753727527f1587a6c0b6b8c5d979053b25b52309a1f97e844ec776e0b832725954ebe55501bb98dfd851f1ff9c0d SHA512 4240bbc0c7b6c8c1bc0b628fcde51c73bc7f6e49b2cd7157e32d3277d1fe31f0604829a1ae49c84524922d3954ead870e02d215768310b21a0b1f57ee7344294
25 +DIST io-page-v2.4.0.tbz 7750 BLAKE2B d97a19b52d74283c0577f76962f6f685ee716cf51f8e79c480a110a2bf7e1197d7e463b5bbbdec9997a81b5c606191de2a0918d146cbe7374cf84250d354fbc8 SHA512 4dcaff2132a74c7e69ab743534d913b15690f6deef02a94997dc61c08c62f735faf6fb1466f2f3af719fede8237da6a6b808cec45e1147c688ff240a02dc133e
26
27 diff --git a/dev-ml/io-page/io-page-2.2.0.ebuild b/dev-ml/io-page/io-page-2.2.0.ebuild
28 new file mode 100644
29 index 000000000..6c0aac10d
30 --- /dev/null
31 +++ b/dev-ml/io-page/io-page-2.2.0.ebuild
32 @@ -0,0 +1,28 @@
33 +# Copyright 1999-2022 Gentoo Authors
34 +# Distributed under the terms of the GNU General Public License v2
35 +
36 +EAPI=8
37 +
38 +inherit dune
39 +
40 +MY_P="${PN}-v${PV}"
41 +
42 +DESCRIPTION="IO memory page library for Mirage backends"
43 +HOMEPAGE="https://github.com/mirage/io-page"
44 +SRC_URI="https://github.com/mirage/io-page/releases/download/v${PV}/${MY_P}.tbz"
45 +S="${WORKDIR}/${MY_P}"
46 +
47 +LICENSE="ISC"
48 +SLOT="0/${PV}"
49 +KEYWORDS="~amd64"
50 +IUSE="ocamlopt"
51 +
52 +RDEPEND="
53 + dev-ml/bigarray-compat
54 + dev-ml/cstruct
55 +"
56 +DEPEND="${RDEPEND}"
57 +
58 +src_install() {
59 + dune_src_install "io-page io-page-unix io-page-xen"
60 +}
61
62 diff --git a/dev-ml/io-page/io-page-2.4.0.ebuild b/dev-ml/io-page/io-page-2.4.0.ebuild
63 new file mode 100644
64 index 000000000..40f2ed73c
65 --- /dev/null
66 +++ b/dev-ml/io-page/io-page-2.4.0.ebuild
67 @@ -0,0 +1,23 @@
68 +# Copyright 1999-2022 Gentoo Authors
69 +# Distributed under the terms of the GNU General Public License v2
70 +
71 +EAPI=8
72 +
73 +inherit dune
74 +
75 +MY_P=${PN}-v${PV}
76 +DESCRIPTION="IO memory page library for Mirage backends"
77 +HOMEPAGE="https://github.com/mirage/io-page"
78 +SRC_URI="https://github.com/mirage/io-page/releases/download/v${PV}/${MY_P}.tbz"
79 +S="${WORKDIR}/${MY_P}"
80 +
81 +LICENSE="ISC"
82 +SLOT="0/${PV}"
83 +KEYWORDS="~amd64"
84 +IUSE="ocamlopt"
85 +
86 +RDEPEND="
87 + dev-ml/bigarray-compat
88 + dev-ml/cstruct
89 +"
90 +DEPEND="${RDEPEND}"
91
92 diff --git a/dev-ml/io-page/metadata.xml b/dev-ml/io-page/metadata.xml
93 new file mode 100644
94 index 000000000..0cf20d003
95 --- /dev/null
96 +++ b/dev-ml/io-page/metadata.xml
97 @@ -0,0 +1,12 @@
98 +<?xml version="1.0" encoding="UTF-8"?>
99 +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
100 +<pkgmetadata>
101 + <maintainer type="person">
102 + <description>co-maintainers welcome</description>
103 + <email>lssndrbarbieri@×××××.com</email>
104 + <name>Alessandro Barbieri</name>
105 + </maintainer>
106 + <upstream>
107 + <remote-id type="github">mirage/io-page</remote-id>
108 + </upstream>
109 +</pkgmetadata>