aboutsummaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
authorAlessandro Barbieri <lssndrbarbieri@gmail.com>2022-04-20 23:52:19 +0200
committerAlessandro Barbieri <lssndrbarbieri@gmail.com>2022-04-20 23:57:00 +0200
commitbc9df92eaa73c93836a0e8ec2e0e93912a8c3e14 (patch)
tree38d7512ce0ce8d470a51fb6e77676fdd37e2e145 /dev-ml
parentdev-ml/async_find: add 0.14.0 (diff)
downloadguru-bc9df92eaa73c93836a0e8ec2e0e93912a8c3e14.tar.gz
guru-bc9df92eaa73c93836a0e8ec2e0e93912a8c3e14.tar.bz2
guru-bc9df92eaa73c93836a0e8ec2e0e93912a8c3e14.zip
dev-ml/io-page: add 2.3.0, 3.0.0
Signed-off-by: Alessandro Barbieri <lssndrbarbieri@gmail.com>
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/io-page/Manifest2
-rw-r--r--dev-ml/io-page/files/io-page-2.3.0-ounit2.patch25
-rw-r--r--dev-ml/io-page/io-page-2.3.0.ebuild46
-rw-r--r--dev-ml/io-page/io-page-3.0.0.ebuild31
4 files changed, 104 insertions, 0 deletions
diff --git a/dev-ml/io-page/Manifest b/dev-ml/io-page/Manifest
index 0525edf5b..553c24ca1 100644
--- a/dev-ml/io-page/Manifest
+++ b/dev-ml/io-page/Manifest
@@ -1,2 +1,4 @@
+DIST io-page-3.0.0.tbz 7967 BLAKE2B 51f233dd6a1f16ace6b3f461ca41f191ee0d54877970955f652728ee865a76c375ed2cc06310dab91dedcf391e00227311a79f5acb226c640693b032330ae4da SHA512 777e5cf4cb82bfc21d026ea2a44a2c30f388a2daa570ad30a396d498b7e4845c0b887402fc002560e2bf17dd49ee7c9839675a3c587e6104f395997eef3c9667
DIST io-page-v2.2.0.tbz 7961 BLAKE2B 6c8621fb1300d92b9e7fe1c371d4f3035927753727527f1587a6c0b6b8c5d979053b25b52309a1f97e844ec776e0b832725954ebe55501bb98dfd851f1ff9c0d SHA512 4240bbc0c7b6c8c1bc0b628fcde51c73bc7f6e49b2cd7157e32d3277d1fe31f0604829a1ae49c84524922d3954ead870e02d215768310b21a0b1f57ee7344294
+DIST io-page-v2.3.0.tbz 8035 BLAKE2B 1272a50433e53c4371a496cffdea43ffecada2bd37a69140cf24549d4f4b29430452ca35143ffa21546155db904f0d945f0adf8adc00b6692fadf30a039b6f42 SHA512 ce1775bff151d62bb85405a13fe75f912c11b09cbc0a6dd81dd27b3f4c767f0b9c4d3e7383d494eb5c130311482ea69877c45b71b91153177562ffc47de4da2f
DIST io-page-v2.4.0.tbz 7750 BLAKE2B d97a19b52d74283c0577f76962f6f685ee716cf51f8e79c480a110a2bf7e1197d7e463b5bbbdec9997a81b5c606191de2a0918d146cbe7374cf84250d354fbc8 SHA512 4dcaff2132a74c7e69ab743534d913b15690f6deef02a94997dc61c08c62f735faf6fb1466f2f3af719fede8237da6a6b808cec45e1147c688ff240a02dc133e
diff --git a/dev-ml/io-page/files/io-page-2.3.0-ounit2.patch b/dev-ml/io-page/files/io-page-2.3.0-ounit2.patch
new file mode 100644
index 000000000..fceb76b03
--- /dev/null
+++ b/dev-ml/io-page/files/io-page-2.3.0-ounit2.patch
@@ -0,0 +1,25 @@
+diff --git a/io-page-unix.opam b/io-page-unix.opam
+index e7fa02a..42ba985 100644
+--- a/io-page-unix.opam
++++ b/io-page-unix.opam
+@@ -10,7 +10,7 @@ depends: [
+ "dune"
+ "io-page" {=version}
+ "cstruct" {>= "2.0.0"}
+- "ounit" {with-test}
++ "ounit2" {with-test}
+ ]
+ build: [
+ ["dune" "subst"] {pinned}
+diff --git a/lib_test/dune b/lib_test/dune
+index 254e49e..5531760 100644
+--- a/lib_test/dune
++++ b/lib_test/dune
+@@ -1,6 +1,6 @@
+ (executables
+ (names portable)
+- (libraries io-page-unix io-page oUnit))
++ (libraries io-page-unix io-page ounit2))
+
+ (alias
+ (name runtest)
diff --git a/dev-ml/io-page/io-page-2.3.0.ebuild b/dev-ml/io-page/io-page-2.3.0.ebuild
new file mode 100644
index 000000000..acd2dfa8c
--- /dev/null
+++ b/dev-ml/io-page/io-page-2.3.0.ebuild
@@ -0,0 +1,46 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune multiprocessing
+
+MY_P="${PN}-v${PV}"
+
+DESCRIPTION="IO memory page library for Mirage backends"
+HOMEPAGE="
+ https://github.com/mirage/io-page
+ https://opam.ocaml.org/packages/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 test unix"
+
+RDEPEND="
+ dev-ml/bigarray-compat:=
+ >=dev-ml/cstruct-2.0.0:=
+"
+DEPEND="
+ ${RDEPEND}
+ test? ( dev-ml/ounit2 )
+ unix? ( dev-ml/configurator )
+"
+
+RESTRICT="!test? ( test )"
+REQUIRED_USE="test? ( unix )"
+PATCHES="${FILESDIR}/${PN}-2.3.0-ounit2.patch"
+
+src_compile() {
+ local pkgs="io-page"
+ use unix && pkgs="${pkgs},io-page-unix"
+ dune build -p "${pkgs}" -j $(makeopts_jobs) || die
+}
+
+src_install() {
+ dune_src_install io-page
+ use unix && dune_src_install io-page-unix
+}
diff --git a/dev-ml/io-page/io-page-3.0.0.ebuild b/dev-ml/io-page/io-page-3.0.0.ebuild
new file mode 100644
index 000000000..4a6e850ce
--- /dev/null
+++ b/dev-ml/io-page/io-page-3.0.0.ebuild
@@ -0,0 +1,31 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit dune
+
+DESCRIPTION="IO memory page library for Mirage backends"
+HOMEPAGE="
+ https://github.com/mirage/io-page
+ https://opam.ocaml.org/packages/io-page/
+"
+SRC_URI="https://github.com/mirage/io-page/releases/download/v${PV}/${P}.tbz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE="ocamlopt test"
+
+RDEPEND="
+ >=dev-lang/ocaml-4.08.0:=[ocamlopt?]
+ >=dev-ml/cstruct-2.0.0:=
+"
+DEPEND="
+ ${RDEPEND}
+ test? ( dev-ml/ounit2 )
+"
+BDEPEND="virtual/pkgconfig"
+
+RESTRICT="!test? ( test )"
+PATCHES="${FILESDIR}/${PN}-2.4.0-ounit2.patch"