summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2020-01-14 17:25:05 +0100
committerMichał Górny <mgorny@gentoo.org>2020-01-14 17:26:07 +0100
commite73cdb8ec3060b24e3ae4a568659547e8050dc71 (patch)
tree027bca129ccaca71fc75a2945302675c20f8c871 /dev-ml/incremental
parentsci-electronics/oregano: Remove last-rited pkg (diff)
downloadgentoo-e73cdb8ec3060b24e3ae4a568659547e8050dc71.tar.gz
gentoo-e73cdb8ec3060b24e3ae4a568659547e8050dc71.tar.bz2
gentoo-e73cdb8ec3060b24e3ae4a568659547e8050dc71.zip
dev-ml/*: Remove first set of unneeded leaf packages
Bug: https://bugs.gentoo.org/695782 Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'dev-ml/incremental')
-rw-r--r--dev-ml/incremental/Manifest1
-rw-r--r--dev-ml/incremental/incremental-0.9.0.ebuild32
-rw-r--r--dev-ml/incremental/metadata.xml8
3 files changed, 0 insertions, 41 deletions
diff --git a/dev-ml/incremental/Manifest b/dev-ml/incremental/Manifest
deleted file mode 100644
index f438627eac5c..000000000000
--- a/dev-ml/incremental/Manifest
+++ /dev/null
@@ -1 +0,0 @@
-DIST incremental-0.9.0.tar.gz 28822 BLAKE2B 0e369107c545e427609397d9d887a6d0eb295c222efa78fdd288bdf4e72000a79f49f3e40cacd593514f57dd94bfeaf23f2cb3fbecaee7bc09f3ede37165e3df SHA512 126b76e31920c56958b6c15319b636b5b5ea8bba56b8fab85c2b6fb2c3a4527b4759a05d0edfe3462e94e6348d7391e2578e82d35b160e31e6c88495c828f612
diff --git a/dev-ml/incremental/incremental-0.9.0.ebuild b/dev-ml/incremental/incremental-0.9.0.ebuild
deleted file mode 100644
index 9137fce7860c..000000000000
--- a/dev-ml/incremental/incremental-0.9.0.ebuild
+++ /dev/null
@@ -1,32 +0,0 @@
-# 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
deleted file mode 100644
index a84a03d12122..000000000000
--- a/dev-ml/incremental/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/incremental</remote-id>
- </upstream>
-</pkgmetadata>