# Copyright 1999-2017 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2

EAPI=6

# ebuild generated by hackport 0.5.3

CABAL_FEATURES="lib profile haddock hoogle hscolour test-suite"
inherit haskell-cabal

DESCRIPTION="Derive KnownNat constraints from other KnownNat constraints"
HOMEPAGE="http://clash-lang.org/"
SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz"

LICENSE="BSD-2"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE="deverror"

RDEPEND=">=dev-haskell/ghc-tcplugins-extra-0.2:=[profile?]
	>=dev-haskell/ghc-typelits-natnormalise-0.5.2:=[profile?] <dev-haskell/ghc-typelits-natnormalise-0.6:=[profile?]
	>=dev-haskell/singletons-2.2:=[profile?] <dev-haskell/singletons-2.4:=[profile?]
	>=dev-lang/ghc-8.0.1:=
"
DEPEND="${RDEPEND}
	>=dev-haskell/cabal-1.24.0.0
	test? ( >=dev-haskell/tasty-0.10
		>=dev-haskell/tasty-hunit-0.9
		>=dev-haskell/tasty-quickcheck-0.8 )
"

src_configure() {
	haskell-cabal_src_configure \
		$(cabal_flag deverror deverror)
}