commit: ab82da022b19e2ed5598e2bdfd9cc12f68f63977 Author: Sam James <sam <AT> gentoo <DOT> org> AuthorDate: Mon Mar 22 04:13:58 2021 +0000 Commit: Sam James <sam <AT> gentoo <DOT> org> CommitDate: Sun Apr 4 06:09:24 2021 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ab82da02
dev-ml/configurator: treeclean Signed-off-by: Sam James <sam <AT> gentoo.org> dev-ml/configurator/Manifest | 1 - dev-ml/configurator/configurator-0.9.1.ebuild | 32 --------------------------- dev-ml/configurator/metadata.xml | 8 ------- 3 files changed, 41 deletions(-) diff --git a/dev-ml/configurator/Manifest b/dev-ml/configurator/Manifest deleted file mode 100644 index 0d0220486ac..00000000000 --- a/dev-ml/configurator/Manifest +++ /dev/null @@ -1 +0,0 @@ -DIST configurator-0.9.1.tar.gz 10231 BLAKE2B e80deda7cf53a6fe2ef042696c5e815576a5f846e2cbe360b8b3e938ee2bd81b4e93f51141a1e10a18bb97a7b0ae41be64409bd85a9ad85eab4595ca36889ee2 SHA512 43d864d3317241dd66829747dd956ac42614cc687bbca23e2575cb1b3ab9d0c628dfbdd8f026bcd4d76cb87cf282d955d6a90f0e69543ee1ee1f01a1efa9b54b 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 76c8abbab09..00000000000 --- 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 2cebdea92b5..00000000000 --- a/dev-ml/configurator/metadata.xml +++ /dev/null @@ -1,8 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd";> -<pkgmetadata> - <!-- maintainer-needed --> - <upstream> - <remote-id type="github">janestreet/configurator</remote-id> - </upstream> -</pkgmetadata>
