Merge remote-tracking branch 'github/pr/3411'
[gentoo.git] / dev-ml / qcheck / qcheck-0.5.3.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 OASIS_BUILD_TESTS=1
8 OASIS_BUILD_DOCS=1
9
10 inherit oasis
11
12 DESCRIPTION="QuickCheck inspired property-based testing for OCaml"
13 HOMEPAGE="https://github.com/c-cube/qcheck/"
14 SRC_URI="https://github.com/c-cube/qcheck/archive/${PV}.tar.gz -> ${P}.tar.gz"
15
16 LICENSE="LGPL-2.1"
17 SLOT="0/${PV}"
18 KEYWORDS="~amd64 ~x86"
19 IUSE=""
20
21 RDEPEND="dev-ml/ounit:=
22         !<dev-ml/iTeML-2.5"
23 DEPEND="${RDEPEND}
24         dev-ml/ocamlbuild"