blob: aa85a3d5abbebaf474be777594ab05a6599c688c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
# Copyright 1999-2015 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Id$
EAPI=5
# ebuild generated by hackport 0.4.5.9999
CABAL_FEATURES="lib profile haddock hoogle hscolour"
inherit haskell-cabal
DESCRIPTION="A Haskell bundle of the Minisat SAT solver"
HOMEPAGE="http://hackage.haskell.org/package/minisat"
SRC_URI="mirror://hackage/packages/archive/${PN}/${PV}/${P}.tar.gz"
LICENSE="BSD"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE=""
RDEPEND="dev-haskell/async:=[profile?]
>=dev-lang/ghc-7.4.1:=
sys-devel/gcc[cxx]
"
DEPEND="${RDEPEND}
>=dev-haskell/cabal-1.6
"
|