Gentoo Packages

dev-haskell/minisat - 0.1.4 (nest)

Search

Install

Install this version:

emerge -a =dev-haskell/minisat-0.1.4

If this version is masked, you can unmask it using the autounmask tool or standard emerge options:

autounmask =dev-haskell/minisat-0.1.4

Or alternatively:

emerge --autounmask-write -a =dev-haskell/minisat-0.1.4

Package Information

Description:
A Haskell bundle of the Minisat SAT solver
Homepage:
https://hackage.haskell.org/package/minisat
License:
BSD

Ebuild Details

Version EAPI Keywords Slot
0.1.4 8 ~amd64 ~x86 0/0.1.4
View Raw Ebuild 
# Copyright 1999-2026 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=8

CABAL_FEATURES="lib profile haddock hoogle hscolour"

inherit haskell-cabal

DESCRIPTION="A Haskell bundle of the Minisat SAT solver"
HOMEPAGE="https://hackage.haskell.org/package/minisat"

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

RDEPEND="dev-haskell/async:=[profile?]
	|| ( llvm-core/clang sys-devel/gcc[cxx] )"
DEPEND="${RDEPEND}"
BDEPEND="dev-haskell/cabal"

DOCS=( {CHANGELOG,README}.md )

src_prepare() {
	haskell-cabal_src_prepare
	sed -i '/license-file/d' minisat.cabal || die "sed failed"
}

Inherited Eclasses

haskell-cabal

Dependencies

DEPEND

dev-haskell/async:=[profile?]
	|| ( llvm-core/clang sys-devel/gcc[cxx] )

RDEPEND

dev-haskell/async:=[profile?]
	|| ( llvm-core/clang sys-devel/gcc[cxx] )

BDEPEND

dev-haskell/cabal