diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
| commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
| tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /dev-ml/incremental | |
| parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) | |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/incremental')
| -rw-r--r-- | dev-ml/incremental/Manifest | 3 | ||||
| -rw-r--r-- | dev-ml/incremental/incremental-0.9.0.ebuild | 32 | ||||
| -rw-r--r-- | dev-ml/incremental/metadata.xml | 11 |
3 files changed, 46 insertions, 0 deletions
diff --git a/dev-ml/incremental/Manifest b/dev-ml/incremental/Manifest new file mode 100644 index 000000000000..fab5dc27165b --- /dev/null +++ b/dev-ml/incremental/Manifest @@ -0,0 +1,3 @@ +DIST incremental-0.9.0.tar.gz 28822 BLAKE2B 0e369107c545e427609397d9d887a6d0eb295c222efa78fdd288bdf4e72000a79f49f3e40cacd593514f57dd94bfeaf23f2cb3fbecaee7bc09f3ede37165e3df SHA512 126b76e31920c56958b6c15319b636b5b5ea8bba56b8fab85c2b6fb2c3a4527b4759a05d0edfe3462e94e6348d7391e2578e82d35b160e31e6c88495c828f612 +EBUILD incremental-0.9.0.ebuild 747 BLAKE2B 114146f3645acf6c1c38e6aa1709a3ef433857b163931d637c60c42f5d777f0b043e08e03332d3dfa5229d554aae93646a1c537d37411d655404175c36b554ae SHA512 2f6eed60bc0e055aa020c6cb998663e31a2152386c630266ca76f6b119892914cfcd17d3832dd75665ba8b172bda255f49219083620bc4a1e286388a49e5983f +MISC metadata.xml 334 BLAKE2B 6a31b530584abfa0cb44ac983c7f7342fada246a83259de5483cd5a34e652e13ef73a0d7b421a9a9cce3a56104c78a1951891ee145c8fd51230d38624891eeda SHA512 eb887e2f503198daf9e74c9b8321826dcc97bb98f51202b9a82ed0375427e639cc13a9f4b5f024007225e78065adaaa58d099a85e7b77ccc0b8b77bebb3a80b2 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> |