diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:57:42 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:57:42 +0100 |
commit | 1798c4aeca70ac8d0a243684d6a798fbc65735f8 (patch) | |
tree | e48e19cb6fa03de18e1c63e1a93371b7ebc4eb56 /dev-ml/configurator | |
parent | d87262dd706fec50cd150aab3e93883b6337466d (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, 0 insertions, 46 deletions
diff --git a/dev-ml/configurator/Manifest b/dev-ml/configurator/Manifest deleted file mode 100644 index d5f78125c8ed..000000000000 --- a/dev-ml/configurator/Manifest +++ /dev/null @@ -1,3 +0,0 @@ -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 deleted file mode 100644 index 76c8abbab093..000000000000 --- a/dev-ml/configurator/configurator-0.9.1.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# 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 deleted file mode 100644 index 24f2767a0bc5..000000000000 --- a/dev-ml/configurator/metadata.xml +++ /dev/null @@ -1,11 +0,0 @@ -<?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> |