| Version | EAPI | Keywords | Slot |
|---|---|---|---|
| 9999 | 8 | 0/9999 |
# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
# ebuild generated by hackport 0.7.3.0
#hackport: flags: -devel,-include
CABAL_FEATURES="lib profile haddock hoogle hscolour test-suite"
inherit haskell-cabal git-r3
DESCRIPTION="Liquid Types for Haskell"
HOMEPAGE="https://github.com/ucsd-progsys/liquidhaskell"
EGIT_REPO_URI="https://github.com/ucsd-progsys/liquidhaskell.git"
EGIT_BRANCH="develop"
LICENSE="BSD"
SLOT="0/${PV}"
KEYWORDS=""
IUSE="deterministic-profiling mirror-modules-helper no-plugin"
CABAL_CHDEPS=(
'hashable >= 1.3 && < 1.4' 'hashable >= 1.3'
'mustache < 2.4' 'mustache'
)
RDEPEND="
dev-haskell/aeson:=[profile?]
dev-haskell/cabal:=[profile?]
dev-haskell/cereal:=[profile?]
>=dev-haskell/cmdargs-0.10:=[profile?]
>=dev-haskell/data-default-0.5:=[profile?]
dev-haskell/data-fix:=[profile?]
>=dev-haskell/diff-0.3:=[profile?] <dev-haskell/diff-0.5:=[profile?]
dev-haskell/extra:=[profile?]
>=dev-haskell/fingertree-0.1:=[profile?]
dev-haskell/free:=[profile?]
>=dev-haskell/ghc-paths-0.1:=[profile?]
dev-haskell/githash:=[profile?]
dev-haskell/gitrev:=[profile?]
>=dev-haskell/hashable-1.3:=[profile?]
>=dev-haskell/hscolour-1.22:=[profile?]
~dev-haskell/liquid-fixpoint-9999[profile?]
>=dev-haskell/megaparsec-8:=[profile?]
>=dev-haskell/optics-0.2:=[profile?]
<dev-haskell/optparse-applicative-0.17:=[profile?]
<dev-haskell/recursion-schemes-5.3:=[profile?]
dev-haskell/split:=[profile?]
>=dev-haskell/syb-0.4.4:=[profile?]
>=dev-haskell/temporary-1.2:=[profile?]
<dev-haskell/th-compat-0.2:=[profile?]
>=dev-haskell/unordered-containers-0.2.11:=[profile?]
>=dev-haskell/vector-0.10:=[profile?]
>=dev-lang/ghc-8.10.1:=
mirror-modules-helper? (
dev-haskell/mustache:=[profile?]
<dev-haskell/shelly-1.10:=[profile?]
)
"
# cabal-3.4 is bundled with ghc-9.0, so it is always installed
RDEPEND+="
|| (
( >=dev-lang/ghc-9.0 <dev-lang/ghc-9.1 )
<dev-haskell/cabal-3.5
)
"
# REQUIRES a SMTLIB2 compatible solver e.g. Z3/CVC4/MathSat
# See: <https://ucsd-progsys.github.io/liquidhaskell-tutorial/Tutorial_01_Introduction.html#getting-started>
RDEPEND+="
|| (
sci-mathematics/z3
sci-mathematics/cvc4
)
"
DEPEND="${RDEPEND}
>=dev-haskell/cabal-3.2.0.0
test? (
>=dev-haskell/tasty-0.10
dev-haskell/tasty-ant-xml
>=dev-haskell/tasty-hunit-0.9
)
"
src_configure() {
haskell-cabal_src_configure \
$(cabal_flag deterministic-profiling deterministic-profiling) \
--flag=-devel \
--flag=-include \
$(cabal_flag mirror-modules-helper mirror-modules-helper) \
$(cabal_flag no-plugin no-plugin)
}
dev-haskell/aeson:=[profile?] dev-haskell/cabal:=[profile?] dev-haskell/cereal:=[profile?] >=dev-haskell/cmdargs-0.10:=[profile?] >=dev-haskell/data-default-0.5:=[profile?] dev-haskell/data-fix:=[profile?] >=dev-haskell/diff-0.3:=[profile?] <dev-haskell/diff-0.5:=[profile?] dev-haskell/extra:=[profile?] >=dev-haskell/fingertree-0.1:=[profile?] dev-haskell/free:=[profile?] >=dev-haskell/ghc-paths-0.1:=[profile?] dev-haskell/githash:=[profile?] dev-haskell/gitrev:=[profile?] >=dev-haskell/hashable-1.3:=[profile?] >=dev-haskell/hscolour-1.22:=[profile?] ~dev-haskell/liquid-fixpoint-9999[profile?] >=dev-haskell/megaparsec-8:=[profile?] >=dev-haskell/optics-0.2:=[profile?] <dev-haskell/optparse-applicative-0.17:=[profile?] <dev-haskell/recursion-schemes-5.3:=[profile?] dev-haskell/split:=[profile?] >=dev-haskell/syb-0.4.4:=[profile?] >=dev-haskell/temporary-1.2:=[profile?] <dev-haskell/th-compat-0.2:=[profile?] >=dev-haskell/unordered-containers-0.2.11:=[profile?] >=dev-haskell/vector-0.10:=[profile?] >=dev-lang/ghc-8.10.1:= mirror-modules-helper? ( dev-haskell/mustache:=[profile?] <dev-haskell/shelly-1.10:=[profile?] ) || ( ( >=dev-lang/ghc-9.0 <dev-lang/ghc-9.1 ) <dev-haskell/cabal-3.5 ) || ( sci-mathematics/z3 sci-mathematics/cvc4 ) >=dev-haskell/cabal-3.2.0.0 test? ( >=dev-haskell/tasty-0.10 dev-haskell/tasty-ant-xml >=dev-haskell/tasty-hunit-0.9 )
dev-haskell/aeson:=[profile?] dev-haskell/cabal:=[profile?] dev-haskell/cereal:=[profile?] >=dev-haskell/cmdargs-0.10:=[profile?] >=dev-haskell/data-default-0.5:=[profile?] dev-haskell/data-fix:=[profile?] >=dev-haskell/diff-0.3:=[profile?] <dev-haskell/diff-0.5:=[profile?] dev-haskell/extra:=[profile?] >=dev-haskell/fingertree-0.1:=[profile?] dev-haskell/free:=[profile?] >=dev-haskell/ghc-paths-0.1:=[profile?] dev-haskell/githash:=[profile?] dev-haskell/gitrev:=[profile?] >=dev-haskell/hashable-1.3:=[profile?] >=dev-haskell/hscolour-1.22:=[profile?] ~dev-haskell/liquid-fixpoint-9999[profile?] >=dev-haskell/megaparsec-8:=[profile?] >=dev-haskell/optics-0.2:=[profile?] <dev-haskell/optparse-applicative-0.17:=[profile?] <dev-haskell/recursion-schemes-5.3:=[profile?] dev-haskell/split:=[profile?] >=dev-haskell/syb-0.4.4:=[profile?] >=dev-haskell/temporary-1.2:=[profile?] <dev-haskell/th-compat-0.2:=[profile?] >=dev-haskell/unordered-containers-0.2.11:=[profile?] >=dev-haskell/vector-0.10:=[profile?] >=dev-lang/ghc-8.10.1:= mirror-modules-helper? ( dev-haskell/mustache:=[profile?] <dev-haskell/shelly-1.10:=[profile?] ) || ( ( >=dev-lang/ghc-9.0 <dev-lang/ghc-9.1 ) <dev-haskell/cabal-3.5 ) || ( sci-mathematics/z3 sci-mathematics/cvc4 )