diff options
| -rw-r--r-- | dev-libs/picosat/picosat-965.ebuild | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/dev-libs/picosat/picosat-965.ebuild b/dev-libs/picosat/picosat-965.ebuild new file mode 100644 index 0000000..8039cc7 --- /dev/null +++ b/dev-libs/picosat/picosat-965.ebuild @@ -0,0 +1,34 @@ +# 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 +} |