diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-04-28 20:21:43 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-04-28 20:21:43 +0100 |
| commit | 40aaaa64e86ba6710bbeb31c4615a6ce80e75e11 (patch) | |
| tree | 758c221bad35c9288d0bd6df9c7dfc226728e52c /dev-ml/configurator | |
| parent | 8d5dbd847cbc704a6a06405856e94b461011afe3 (diff) | |
gentoo resync : 28.04.2021
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 | 8 |
3 files changed, 0 insertions, 43 deletions
diff --git a/dev-ml/configurator/Manifest b/dev-ml/configurator/Manifest deleted file mode 100644 index edbc0f566010..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 255 BLAKE2B fbfe94c93014a6ee987f6858b9e45dbecab66e145b6eaa81ec4031f5a9ddf148a6f561287263d932229cbe2033b2e0e41c082466ba9ba2a3a8641d89613c0c12 SHA512 a67a0569f9997b9e87ab58299d37e0c35fb17f0e95396ac27c745827d7cb967e9da36eb37aec646cfaa0c67f4ff3d94219263bcdeffd3d55ccbb31811a154153 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 2cebdea92b52..000000000000 --- 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> |