diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
| commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
| tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /dev-ml/incremental | |
reinit the tree, so we can have metadata
Diffstat (limited to 'dev-ml/incremental')
| -rw-r--r-- | dev-ml/incremental/Manifest | 5 | ||||
| -rw-r--r-- | dev-ml/incremental/incremental-0.9.0.ebuild | 32 | ||||
| -rw-r--r-- | dev-ml/incremental/metadata.xml | 11 |
3 files changed, 48 insertions, 0 deletions
diff --git a/dev-ml/incremental/Manifest b/dev-ml/incremental/Manifest new file mode 100644 index 000000000000..b86158fc0bd5 --- /dev/null +++ b/dev-ml/incremental/Manifest @@ -0,0 +1,5 @@ +DIST incremental-0.9.0.tar.gz 28822 SHA256 8bcaff26dcd947942edb1676bd152f9d15b5931bc12ee54e92b5d8e8204bc283 SHA512 126b76e31920c56958b6c15319b636b5b5ea8bba56b8fab85c2b6fb2c3a4527b4759a05d0edfe3462e94e6348d7391e2578e82d35b160e31e6c88495c828f612 WHIRLPOOL fcf57a255d224e868f75879d589e0df205ecdf75ee8743f84028b57a036ddf57f4b27c6b86614cf92e3e58f108b66c6f645e2f1983b02d3f04b3f81ad4d92e62 +EBUILD incremental-0.9.0.ebuild 747 SHA256 6598dd011eb8a326c83f4cecc4c96a05623b2ca4a698d0b7e32a8184b65e25f0 SHA512 2f6eed60bc0e055aa020c6cb998663e31a2152386c630266ca76f6b119892914cfcd17d3832dd75665ba8b172bda255f49219083620bc4a1e286388a49e5983f WHIRLPOOL 78f85cb13b1fdcf2fad6d24d076636d8c6f3ca8d18870372fcdc32dfa8890878f7d069b2fc7c2dca8edd46242c1a05da9ef2aa3c50de2a5dbde6f773456993bd +MISC ChangeLog 3311 SHA256 96716b19ca4a544e00d7c8703b34d9f886460e29ca296205737a731ae9dc9914 SHA512 d207a6a2bfc4015ed367b7d74ee7ea94f564069ee949e55d93f04282a99429fc7048c6230a2831b5b328bb2fcf8a11884a402d0839030c32da71a58b833a5f33 WHIRLPOOL efc6ff1296bd4f632c195a1f7f3fca79e6092236630350771db9f6b238f7c8be9c265ce3f54278a96316111229a9eafc439d2db87c03f74338cefc8a5996a065 +MISC ChangeLog-2015 381 SHA256 a5f1403dd2a8f9fd045191f600c76fc05751cafc729540786953cf6195f31e20 SHA512 c7941e0059523aadcff7cb5c575ca5d50e089fd90a35e01bc3f75f1e84f05c17f8963b391161265c294b65867e0a69a7b46847ceb127184f84a3016df36f5640 WHIRLPOOL 70cc61f896abdabda79739708153265ead5a8da519db7cdd903e16828185510480748dec5c5e84e9de0338ca8ea440875833ba500b8436df91842f7d7c4e164f +MISC metadata.xml 334 SHA256 84e0c76a6de4aa5a54e7235617d98c6b971ccabedeead876decdc5a7e68ba3a5 SHA512 eb887e2f503198daf9e74c9b8321826dcc97bb98f51202b9a82ed0375427e639cc13a9f4b5f024007225e78065adaaa58d099a85e7b77ccc0b8b77bebb3a80b2 WHIRLPOOL c2caae5e1f979d31b3c1dfbfde7e39d7db3941055566f2daadf10713f753e620d09a76792af9599eee8835aa2eddbf7a856e33fc3b2743f2a04bd146cbf98afe diff --git a/dev-ml/incremental/incremental-0.9.0.ebuild b/dev-ml/incremental/incremental-0.9.0.ebuild new file mode 100644 index 000000000000..9137fce7860c --- /dev/null +++ b/dev-ml/incremental/incremental-0.9.0.ebuild @@ -0,0 +1,32 @@ +# Copyright 1999-2017 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Library for incremental computations" +HOMEPAGE="https://github.com/janestreet/incremental" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND=" + dev-lang/ocaml:= + dev-ml/core:= + dev-ml/incremental_kernel:= + dev-ml/ppx_driver:= + dev-ml/ppx_jane:= + dev-ml/ocaml-migrate-parsetree:= +" +RDEPEND="${DEPEND}" +DEPEND="${DEPEND} dev-ml/opam dev-ml/jbuilder" + +src_install() { + opam-installer -i \ + --prefix="${ED}/usr" \ + --libdir="${D}/$(ocamlc -where)" \ + --docdir="${ED}/usr/share/doc/${PF}" \ + ${PN}.install || die +} diff --git a/dev-ml/incremental/metadata.xml b/dev-ml/incremental/metadata.xml new file mode 100644 index 000000000000..a9552f869fb0 --- /dev/null +++ b/dev-ml/incremental/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/incremental</remote-id> + </upstream> +</pkgmetadata> |