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

EAPI=8

# ebuild generated by hackport 0.5.6.9999
#hackport: flags: -static

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

DESCRIPTION="Cryptol: The Language of Cryptography"
HOMEPAGE="http://www.cryptol.net/"
SRC_URI="https://hackage.haskell.org/package/${P}/${P}.tar.gz"

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

RDEPEND="dev-haskell/ansi-terminal:=[profile?]
	>=dev-haskell/base-compat-0.6:=[profile?]
	dev-haskell/blaze-html:=[profile?]
	>=dev-haskell/gitrev-1.0:=[profile?]
	>=dev-haskell/graphscc-1.0.4:=[profile?]
	dev-haskell/haskeline:=[profile?]
	>=dev-haskell/heredoc-0.2:=[profile?]
	>=dev-haskell/monad-control-1.0:=[profile?]
	>=dev-haskell/monadlib-3.7.2:=[profile?]
	>=dev-haskell/mtl-2.2.1:=[profile?]
	>=dev-haskell/panic-0.3:=[profile?]
	>=dev-haskell/random-1.0.1:=[profile?]
	>=dev-haskell/sbv-7.7:=[profile?]
	>=dev-haskell/simple-smt-0.7.1:=[profile?]
	dev-haskell/strict:=[profile?]
	>=dev-haskell/text-1.1:=[profile?]
	>=dev-haskell/tf-random-0.5:=[profile?]
	>=dev-haskell/transformers-base-0.4:=[profile?]
	>=dev-lang/ghc-8.0.1:=
"
DEPEND="${RDEPEND}
	dev-haskell/alex
	>=dev-haskell/cabal-1.24.0.0
	dev-haskell/happy
"

# runtime-only depend, used for :prove
RDEPEND+="
	sci-mathematics/z3
"

src_prepare() {
	default

	cabal_chdeps \
		'base-compat       >= 0.6 && < 0.10' 'base-compat       >= 0.6'
}

src_configure() {
	haskell-cabal_src_configure \
		$(cabal_flag relocatable relocatable) \
		--flag=-static
}