summaryrefslogtreecommitdiff
path: root/dev-ml/core_bench
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2020-01-15 15:51:32 +0000
committerV3n3RiX <venerix@redcorelinux.org>2020-01-15 15:51:32 +0000
commit21435953e16cda318a82334ddbadb3b5c36d9ea7 (patch)
treee1810a4b135afce04b34862ef0fab2bfaeb8aeca /dev-ml/core_bench
parent7bc9c63c9da678a7e6fceb095d56c634afd22c56 (diff)
gentoo resync : 15.01.2020
Diffstat (limited to 'dev-ml/core_bench')
-rw-r--r--dev-ml/core_bench/Manifest3
-rw-r--r--dev-ml/core_bench/core_bench-0.9.0.ebuild33
-rw-r--r--dev-ml/core_bench/metadata.xml8
3 files changed, 0 insertions, 44 deletions
diff --git a/dev-ml/core_bench/Manifest b/dev-ml/core_bench/Manifest
deleted file mode 100644
index 7d5c16d0cff1..000000000000
--- a/dev-ml/core_bench/Manifest
+++ /dev/null
@@ -1,3 +0,0 @@
-DIST core_bench-0.9.0.tar.gz 43091 BLAKE2B 3b94caf4515a15f26679a76b332a260f37aaaa79a87c164ccc244bc808b215d8064e56c69dc107b5ec3c8b69fc5a27a023ab954205004546e37bfc1b06d8cb0e SHA512 4860143276ca8d7966519435c151923ed0f0767fc9a654e6ba75a777f24aa0a66d1ebc4b5b2f8bbcb20bc8e869220ea0c93ccc9c9b5764fa82ef87c17bec761e
-EBUILD core_bench-0.9.0.ebuild 762 BLAKE2B 16edd77a7a1c13033b1813bb28782bf747eba7ad0ac040579d58b48b73c1bff30157d2f8153ce5b06d10e9807959cffa55e92989e276e027c242361e338ccdb3 SHA512 089af575a0d6087fe691dd25d47cc82db03ec7374f0d549bd848b242151422e39fafded9e90a41772eaecc734f42855a38212f7b2c8158b2e10693c6639daedc
-MISC metadata.xml 253 BLAKE2B 8ae89da94c6d87bb869a1a0eaf0b39a02bd7b55e709a047a54c327179c01ea2d94360a0b712fa89e77cf18b5c0525aa0524a1df882127cfd0c1ee0be5ddfaf5d SHA512 f47de08d69e93b45b71592b4a24a13b4b952cbd4c566e3b3bbb58f4ef016162865cf7aa005f819a676dcea28d0e8c77d884a74139e20b829043f5df9fb22f58d
diff --git a/dev-ml/core_bench/core_bench-0.9.0.ebuild b/dev-ml/core_bench/core_bench-0.9.0.ebuild
deleted file mode 100644
index 3ef6f6506421..000000000000
--- a/dev-ml/core_bench/core_bench-0.9.0.ebuild
+++ /dev/null
@@ -1,33 +0,0 @@
-# Copyright 1999-2017 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=6
-
-DESCRIPTION="Micro-benchmarking library for OCaml"
-HOMEPAGE="https://github.com/janestreet/core_bench"
-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=""
-
-RDEPEND="
- dev-lang/ocaml:=
- dev-ml/core:=
- dev-ml/core_extended:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_jane:=
- dev-ml/textutils:=
- dev-ml/ocaml-migrate-parsetree:=
- dev-ml/ocaml-re:=
-"
-DEPEND="${RDEPEND} 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/core_bench/metadata.xml b/dev-ml/core_bench/metadata.xml
deleted file mode 100644
index b5faf2198884..000000000000
--- a/dev-ml/core_bench/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/core_bench</remote-id>
- </upstream>
-</pkgmetadata>