Merge remote-tracking branch 'github/pr/3411'
[gentoo.git] / dev-ml / qcheck / qcheck-0.5.2.ebuild
1 # Copyright 1999-2017 Gentoo Foundation
2 # Distributed under the terms of the GNU General Public License v2
3 # $Id$
4
5 EAPI=5
6
7 inherit oasis
8
9 DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
10 HOMEPAGE="https://github.com/c-cube/qcheck/"
11 SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
12
13 LICENSE="LGPL-2.1"
14 SLOT="0/${PV}"
15 KEYWORDS="~amd64 ~x86"
16 IUSE=""
17
18 RDEPEND="dev-ml/ounit:=
19         !<dev-ml/iTeML-2.5"
20 DEPEND="${RDEPEND}
21         dev-ml/ocamlbuild"