diff options
| -rw-r--r-- | dev-ml/core_profiler/ChangeLog | 10 | ||||
| -rw-r--r-- | dev-ml/core_profiler/core_profiler-112.35.00.ebuild | 33 | ||||
| -rw-r--r-- | dev-ml/core_profiler/metadata.xml | 5 |
3 files changed, 48 insertions, 0 deletions
diff --git a/dev-ml/core_profiler/ChangeLog b/dev-ml/core_profiler/ChangeLog new file mode 100644 index 000000000000..eaab8a98d027 --- /dev/null +++ b/dev-ml/core_profiler/ChangeLog @@ -0,0 +1,10 @@ +# ChangeLog for dev-ml/core_profiler +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/core_profiler/ChangeLog,v 1.1 2015/07/13 18:48:04 aballier Exp $ + +*core_profiler-112.35.00 (13 Jul 2015) + + 13 Jul 2015; Alexis Ballier <aballier@gentoo.org> + +core_profiler-112.35.00.ebuild, +metadata.xml: + initial import, ebuild by me + diff --git a/dev-ml/core_profiler/core_profiler-112.35.00.ebuild b/dev-ml/core_profiler/core_profiler-112.35.00.ebuild new file mode 100644 index 000000000000..edb68d12772e --- /dev/null +++ b/dev-ml/core_profiler/core_profiler-112.35.00.ebuild @@ -0,0 +1,33 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: /var/cvsroot/gentoo-x86/dev-ml/core_profiler/core_profiler-112.35.00.ebuild,v 1.1 2015/07/13 18:48:04 aballier Exp $ + +EAPI="5" + +OASIS_BUILD_DOCS=1 +OASIS_BUILD_TESTS=1 + +inherit eutils oasis + +MY_P=${P/_/\~} +DESCRIPTION="Jane Street's profiling library" +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/core:= + dev-ml/core_extended:= + dev-ml/core_bench:= + dev-ml/textutils:= + dev-ml/pa_test:= + dev-ml/pa_bench:= + dev-ml/pa_ounit:= + dev-ml/re2:= +" +DEPEND="${RDEPEND}" +DOCS=( "README.md" ) diff --git a/dev-ml/core_profiler/metadata.xml b/dev-ml/core_profiler/metadata.xml new file mode 100644 index 000000000000..2193d772e351 --- /dev/null +++ b/dev-ml/core_profiler/metadata.xml @@ -0,0 +1,5 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> +<pkgmetadata> +<herd>ml</herd> +</pkgmetadata> |