diff options
author | Karel Kočí <cynerd@email.cz> | 2021-09-20 11:17:18 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2021-09-20 11:17:18 +0200 |
commit | 8d7fc043e7cb323bbaa0e7ecefa6add65e1eabe9 (patch) | |
tree | 0af6b0fa48574148b0a7e69f1c29300037fb9679 /dev-libs/picosat | |
parent | e2363a2dd198b04b332414efc675369fae562b3d (diff) | |
download | gentoo-personal-overlay-8d7fc043e7cb323bbaa0e7ecefa6add65e1eabe9.tar.gz gentoo-personal-overlay-8d7fc043e7cb323bbaa0e7ecefa6add65e1eabe9.tar.bz2 gentoo-personal-overlay-8d7fc043e7cb323bbaa0e7ecefa6add65e1eabe9.zip |
dev-libs/picosat: add new package
Diffstat (limited to 'dev-libs/picosat')
-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 +} |