summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml/core_kernel/core_kernel-113.24.00.ebuild')
-rw-r--r--dev-ml/core_kernel/core_kernel-113.24.00.ebuild52
1 files changed, 0 insertions, 52 deletions
diff --git a/dev-ml/core_kernel/core_kernel-113.24.00.ebuild b/dev-ml/core_kernel/core_kernel-113.24.00.ebuild
deleted file mode 100644
index 8669dff860b1..000000000000
--- a/dev-ml/core_kernel/core_kernel-113.24.00.ebuild
+++ /dev/null
@@ -1,52 +0,0 @@
-# Copyright 1999-2015 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Id$
-
-EAPI="5"
-
-OASIS_BUILD_DOCS=1
-OASIS_BUILD_TESTS=1
-
-inherit oasis
-
-DESCRIPTION="System-independent part of Core"
-HOMEPAGE="http://www.janestreet.com/ocaml"
-SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}/files/${P}.tar.gz"
-
-LICENSE="LGPL-2.1-with-linking-exception"
-SLOT="0/${PV}"
-KEYWORDS="~amd64"
-IUSE=""
-
-RDEPEND="
- >=dev-ml/bin-prot-112.17.00:=
- >=dev-ml/fieldslib-109.20.00:=
- dev-ml/ppx_assert:=
- dev-ml/ppx_bench:=
- dev-ml/ppx_driver:=
- dev-ml/ppx_expect:=
- dev-ml/ppx_inline_test:=
- dev-ml/ppx_jane:=
- >=dev-ml/sexplib-109.20.00:=
- >=dev-ml/variantslib-109.15.00:=
- >=dev-ml/typerep-111.17:=
- "
-DEPEND="${RDEPEND}"
-
-src_configure() {
- emake setup.exe
- OASIS_SETUP_COMMAND="./setup.exe" oasis_src_configure
-}
-
-src_compile() {
- emake
-}
-
-src_install() {
- opam-installer -i \
- --prefix="${ED}/usr" \
- --libdir="${D}/$(ocamlc -where)" \
- --docdir="${ED}/usr/share/doc/${PF}" \
- ${PN}.install || die
- dodoc CHANGES.md
-}