Gentoo Packages

Search

Install

Install this version:

emerge -a =sci-mathematics/minisat-2.2.1

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

autounmask =sci-mathematics/minisat-2.2.1

Or alternatively:

emerge --autounmask-write -a =sci-mathematics/minisat-2.2.1

Package Information

Description:: Small yet efficient SAT solver with reference paper
Homepage:: http://minisat.se/Main.html https://github.com/stp/minisat/
License:: MIT

Ebuild Details

Version	EAPI	Keywords	Slot
2.2.1	8	~amd64 ~x86	0/2.2.1

View Raw Ebuild

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

EAPI=8

inherit cmake

DESCRIPTION="Small yet efficient SAT solver with reference paper"
HOMEPAGE="http://minisat.se/Main.html
	https://github.com/stp/minisat/"
SRC_URI="https://github.com/stp/${PN}/archive/releases/${PV}.tar.gz -> ${P}.tar.gz
	doc? ( http://minisat.se/downloads/MiniSat.pdf )"
S="${WORKDIR}"/${PN}-releases-${PV}

LICENSE="MIT"
SLOT="0/${PV}"
KEYWORDS="~amd64 ~x86"
IUSE="doc"

RDEPEND="virtual/zlib:="
DEPEND="${RDEPEND}"

PATCHES=(
	"${FILESDIR}"/${P}-cmake.patch
	"${FILESDIR}"/${P}-musl.patch
	"${FILESDIR}/minisat-2.2.1-cmake_minimum.patch"
)

src_install() {
	cmake_src_install

	use doc && dodoc "${DISTDIR}"/MiniSat.pdf
}

USE Flags

Manage flags for this package: euse -i <flag> -p sci-mathematics/minisat | euse -E <flag> -p sci-mathematics/minisat | euse -D <flag> -p sci-mathematics/minisat

Global/Standard Flags

doc

Inherited Eclasses

cmake

Dependencies

DEPEND

virtual/zlib:=

RDEPEND

virtual/zlib:=

Manifest for 2.2.1

Type	File	Size	Source URLs
DIST	MiniSat.pdf	327416 bytes	http://minisat.se/downloads/MiniSat.pdf
DIST	minisat-2.2.1.tar.gz	50485 bytes	https://github.com/stp/minisat/archive/releases/2.2.1.tar.gz

sci-mathematics/minisat - 2.2.1 (gentoo)