diff options
Diffstat (limited to 'dev-ml/stdio')
| -rw-r--r-- | dev-ml/stdio/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/stdio/metadata.xml | 11 | ||||
| -rw-r--r-- | dev-ml/stdio/stdio-0.9.0.ebuild | 22 |
3 files changed, 36 insertions, 0 deletions
diff --git a/dev-ml/stdio/Manifest b/dev-ml/stdio/Manifest new file mode 100644 index 000000000000..82a4982fd92f --- /dev/null +++ b/dev-ml/stdio/Manifest @@ -0,0 +1,3 @@ +DIST stdio-0.9.0.tar.gz 9264 SHA256 d0d429f0873bf7a9e37d2791443f4f3d4b74a4b5b7fee78489a567fdc92894d9 SHA512 a3809272c00653872d02b07b6c133215e06a70a7cbebed8c6c22ba5790ee8cbba17821da7875290c8869dfac22bf3cf248028e2aed2570195ca9b5f63b6ab75d WHIRLPOOL 9a9aa0af65091fe976528f0dabcb8a97443f4e403171df41af2c5dd579ce8202e81f98eebb561631821018d9dbdc820aa622349421de1c3f57632cee620598f0 +EBUILD stdio-0.9.0.ebuild 474 SHA256 5001cbb207a467aa7e3dbe823a6f9bc6b39ad4e6db10622f87d6756dd2ab6c51 SHA512 ce2bf3539f011fa4379cfd2665f9634c5639e9393944d4a442b89929db4ca846a8c1f0578e9811ff46896d2fadcc26d1659e5027ddd48a90d79428ce9958301f WHIRLPOOL d30a0205ef3e3d37ae8f917b1508486f82d9fa4242b2923b2eece3edb000dee2e883f20f97205b9d6f1b4809c89a7741173838f184ae29ba79f056b43a000b1c +MISC metadata.xml 328 SHA256 f073f589b512ca2e53e370eba4b00e0d635058ec4f3747d9d46db3ed766dbd21 SHA512 fdcaa73b9349a28b81f0bc9d4872edcfea9ae2b1194c0d1102a462aa5e2591d8d7af56b6946731ddadce713ddf8d8f7a0083d955922213eec4da42ee68e5e137 WHIRLPOOL 2d10bcc5b73fe289b248c7899dfc7f6e9c51d925e4fdbed3641a62d2bbc2aec2b32d04bfe7feda0e7543fd4d3c1d0f57667924d9767f9c6bf833f6f0dbbac99c diff --git a/dev-ml/stdio/metadata.xml b/dev-ml/stdio/metadata.xml new file mode 100644 index 000000000000..0d2812b35089 --- /dev/null +++ b/dev-ml/stdio/metadata.xml @@ -0,0 +1,11 @@ +<?xml version='1.0' encoding='UTF-8'?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> + <maintainer type="project"> + <email>ml@gentoo.org</email> + <name>Gentoo ML Project</name> + </maintainer> + <upstream> + <remote-id type="github">janestreet/stdio</remote-id> + </upstream> +</pkgmetadata> diff --git a/dev-ml/stdio/stdio-0.9.0.ebuild b/dev-ml/stdio/stdio-0.9.0.ebuild new file mode 100644 index 000000000000..2002241b3dbb --- /dev/null +++ b/dev-ml/stdio/stdio-0.9.0.ebuild @@ -0,0 +1,22 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +inherit opam + +DESCRIPTION="Standard IO Library for OCaml" +HOMEPAGE="https://github.com/janestreet/stdio" +SRC_URI="https://github.com/janestreet/stdio/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc" +IUSE="" + +RDEPEND="dev-ml/base:=" +DEPEND="${RDEPEND} dev-ml/jbuilder" + +src_test() { + jbuilder runtest || die +} |