You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
33 lines
705 B
33 lines
705 B
# Copyright 1999-2023 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="sys-libs/zlib:="
|
|
DEPEND="${RDEPEND}"
|
|
|
|
PATCHES=(
|
|
"${FILESDIR}"/${P}-cmake.patch
|
|
"${FILESDIR}"/${P}-musl.patch
|
|
)
|
|
|
|
src_install() {
|
|
cmake_src_install
|
|
|
|
use doc && dodoc "${DISTDIR}"/MiniSat.pdf
|
|
}
|