# Copyright 2020 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2

EAPI=7

DESCRIPTION="PicoSAT solver"
HOMEPAGE="http://fmv.jku.at/picosat/"
SRC_URI="http://fmv.jku.at/${PN}/${P}.tar.gz"

LICENSE="MIT"
SLOT="0"
KEYWORDS="~amd64 ~x86"
IUSE="bin"

src_configure() {
	./configure.sh --stats --trace --shared
}

src_compile () {
	emake -j1
}

src_install() {
	dolib.a libpicosat.a
	dolib.so libpicosat.so
	doheader picosat.h

	if use bin; then
		dobin picosat
		dobin picomcs
		dobin picomus
		dobin picogcnf
	fi
}