summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/io-page/io-page-1.5.1.ebuild')
-rw-r--r--dev-ml/io-page/io-page-1.5.1.ebuild28
1 files changed, 28 insertions, 0 deletions
diff --git a/dev-ml/io-page/io-page-1.5.1.ebuild b/dev-ml/io-page/io-page-1.5.1.ebuild
new file mode 100644
index 000000000000..79f78c0356c2
--- /dev/null
+++ b/dev-ml/io-page/io-page-1.5.1.ebuild
@@ -0,0 +1,28 @@
+# Copyright 1999-2015 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Id$
+
+EAPI=5
+OASIS_BUILD_TESTS=1
+
+inherit oasis
+
+DESCRIPTION="IO memory page library for Mirage backends"
+HOMEPAGE="https://github.com/mirage/io-page https://mirage.io"
+SRC_URI="https://github.com/mirage/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz"
+
+LICENSE="ISC"
+SLOT="0/${PV}"
+KEYWORDS="~amd64"
+IUSE=""
+
+RDEPEND="
+ >=dev-lang/ocaml-4:=
+ >=dev-ml/ocaml-cstruct-1.1.0:=
+"
+DEPEND="
+ test? ( dev-ml/ounit )
+ ${RDEPEND}
+"
+
+DOCS=( CHANGES README.md )