# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 # ebuild generated by hackport 0.6.6.9999 CABAL_FEATURES="lib profile haddock hoogle hscolour test-suite" inherit haskell-cabal MY_PN="sbvPlugin" MY_P="${MY_PN}-${PV}" S="${WORKDIR}/${MY_P}" DESCRIPTION="Formally prove properties of Haskell programs using SBV/SMT" HOMEPAGE="https://github.com/LeventErkok/sbvPlugin" SRC_URI="https://hackage.haskell.org/package/${MY_P}/${MY_P}.tar.gz" LICENSE="BSD" SLOT="0/${PV}" KEYWORDS="~amd64" RDEPEND="dev-haskell/mtl:=[profile?] >=dev-haskell/sbv-8.8:=[profile?] >=dev-lang/ghc-8.4.3:= " DEPEND="${RDEPEND} >=dev-haskell/cabal-2.2.0.1 test? ( dev-haskell/tasty dev-haskell/tasty-golden ) "