mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2026-08-06 12:58:16 -07:00
dev-ml/io-page: new ebuild
- needed as a transitive dependency of Libre S3 1.1 (net-misc/libres3) - explicit support for MirageOS is not enabled
This commit is contained in:
1
dev-ml/io-page/Manifest
Normal file
1
dev-ml/io-page/Manifest
Normal file
@@ -0,0 +1 @@
|
||||
DIST io-page-1.5.1.tar.gz 52385 SHA256 37b76758296a3d41c56faa31c64102d3df3c18c61c5a761def54f8799eed6a48 SHA512 28fe821e845c4726c6315647523f7d78853738e179176ebabeed40d602d0797433716045beeb3501e2faba2ae1553fe4e1e74b8af75d6e37173b23165eeedbdf WHIRLPOOL 7f78c8dca110bec93710deeab4b91715ad6698fe0cd32b2c5f9d028c043073c7f577138a4d5c502321e3d0900580f38709c77e0db9283b3fcbab4e959dfd39f4
|
||||
28
dev-ml/io-page/io-page-1.5.1.ebuild
Normal file
28
dev-ml/io-page/io-page-1.5.1.ebuild
Normal file
@@ -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 )
|
||||
9
dev-ml/io-page/metadata.xml
Normal file
9
dev-ml/io-page/metadata.xml
Normal file
@@ -0,0 +1,9 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
|
||||
<pkgmetadata>
|
||||
<herd>ml</herd>
|
||||
<herd>proxy-maintainers</herd>
|
||||
<maintainer>
|
||||
<email>tomboy64@sina.cn</email>
|
||||
</maintainer>
|
||||
</pkgmetadata>
|
||||
Reference in New Issue
Block a user