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> |