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/configurator | |
parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) |
gentoo resync : 14.07.2018
Diffstat (limited to 'dev-ml/configurator')
-rw-r--r-- | dev-ml/configurator/Manifest | 3 | ||||
-rw-r--r-- | dev-ml/configurator/configurator-0.9.1.ebuild | 32 | ||||
-rw-r--r-- | dev-ml/configurator/metadata.xml | 11 |
3 files changed, 46 insertions, 0 deletions
diff --git a/dev-ml/configurator/Manifest b/dev-ml/configurator/Manifest new file mode 100644 index 000000000000..d5f78125c8ed --- /dev/null +++ b/dev-ml/configurator/Manifest @@ -0,0 +1,3 @@ +DIST configurator-0.9.1.tar.gz 10231 BLAKE2B e80deda7cf53a6fe2ef042696c5e815576a5f846e2cbe360b8b3e938ee2bd81b4e93f51141a1e10a18bb97a7b0ae41be64409bd85a9ad85eab4595ca36889ee2 SHA512 43d864d3317241dd66829747dd956ac42614cc687bbca23e2575cb1b3ab9d0c628dfbdd8f026bcd4d76cb87cf282d955d6a90f0e69543ee1ee1f01a1efa9b54b +EBUILD configurator-0.9.1.ebuild 759 BLAKE2B 64a366966a07b283e36d366bb2d2f9586b077b6a6861c4e8f78ebdd2c48792f7cb4a53dccf2c70d48f462178502a9822605e8597710ed0fb22ce00213b188f9d SHA512 fe543f77813d1b892d379423199eff09b985a57b9b194f4827ddbb30312d3e04c00d1f312d82bc58148c5adf55436b7ed7d70bcc37daa31d060fe65e3becd922 +MISC metadata.xml 335 BLAKE2B 43149495ecfe838c2346c0d6c84b8faedd83a5b2bc11dbab6b1d3c6d28867012bc0c0f3e86336dff17f66fe55be92c52a770611d5565581fd39e06adb2401bbb SHA512 661360e00a85c70e5d1b28e2a4003d34fef28daa0e3efb909ac9bb748829e43ed50f5307d19c86e5c19142f64e1ab769845c583a45a2b4b93a9ddf2371ed96bb diff --git a/dev-ml/configurator/configurator-0.9.1.ebuild b/dev-ml/configurator/configurator-0.9.1.ebuild new file mode 100644 index 000000000000..76c8abbab093 --- /dev/null +++ b/dev-ml/configurator/configurator-0.9.1.ebuild @@ -0,0 +1,32 @@ +# Copyright 1999-2018 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +EAPI=6 + +DESCRIPTION="Helper library for gathering system configuration" +HOMEPAGE="https://github.com/janestreet/configurator" +SRC_URI="https://github.com/janestreet/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="Apache-2.0" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~ppc ~x86" +IUSE="" + +DEPEND=" + dev-lang/ocaml:= + dev-ml/base:= + dev-ml/ppx_base:= + dev-ml/ppx_driver:= + dev-ml/stdio:= + 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/configurator/metadata.xml b/dev-ml/configurator/metadata.xml new file mode 100644 index 000000000000..24f2767a0bc5 --- /dev/null +++ b/dev-ml/configurator/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/configurator</remote-id> + </upstream> +</pkgmetadata> |