Gentoo Packages

# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

# ebuild generated by hackport 0.9.0.0.9999

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

DESCRIPTION="Pure Haskell SAT-solver"
HOMEPAGE="https://github.com/phadej/puresat"

LICENSE="BSD"
SLOT="0/${PV}"
KEYWORDS="~amd64"
IUSE="exe"

CABAL_CHDEPS=(
	'QuickCheck        ^>=2.15.0.1' 'QuickCheck >= 2.14'
	'tasty             ^>=1.5' 'tasty >= 1.4'
	'tasty-quickcheck  ^>=0.11' 'tasty-quickcheck >= 0.10'
	)

RDEPEND=">=dev-haskell/parsec-3.1.16.1:=[profile?] <dev-haskell/parsec-3.2:=[profile?]
	>=dev-haskell/primitive-0.9.0.0:=[profile?] <dev-haskell/primitive-0.10:=[profile?]
	>=dev-lang/ghc-9.6.5:=
	exe? ( >=dev-haskell/optparse-applicative-0.18.1.0:=[profile?] <dev-haskell/optparse-applicative-0.19:=[profile?] )
"
DEPEND="${RDEPEND}
	>=dev-haskell/cabal-3.10.3.0
	test? ( dev-haskell/minisat
		>=dev-haskell/quickcheck-2.14
		>=dev-haskell/tasty-1.4
		dev-haskell/tasty-hunit
		>=dev-haskell/tasty-quickcheck-0.10 )
"

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