diff options
Diffstat (limited to 'dev-ml/pa_bench/pa_bench-111.28.00.ebuild')
| -rw-r--r-- | dev-ml/pa_bench/pa_bench-111.28.00.ebuild | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/pa_bench/pa_bench-111.28.00.ebuild b/dev-ml/pa_bench/pa_bench-111.28.00.ebuild new file mode 100644 index 000000000000..2f250bcb4fe6 --- /dev/null +++ b/dev-ml/pa_bench/pa_bench-111.28.00.ebuild @@ -0,0 +1,25 @@ +# Copyright 1999-2014 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Id$ + +EAPI="5" + +inherit oasis + +MY_P=${PN/-/_}-${PV} +DESCRIPTION="Syntax extension writing inline benchmarks" +HOMEPAGE="http://www.janestreet.com/ocaml" +SRC_URI="http://ocaml.janestreet.com/ocaml-core/${PV%.*}.00/individual/${MY_P}.tar.gz + http://dev.gentoo.org/~aballier/distfiles/${MY_P}.tar.gz" + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0/${PV}" +KEYWORDS="~amd64" +IUSE="" + +DEPEND=">=dev-ml/type-conv-109:= + dev-ml/pa_ounit:= + || ( dev-ml/camlp4:= <dev-lang/ocaml-4.02.0 )" +RDEPEND="${DEPEND}" + +S="${WORKDIR}/${MY_P}" |