commit: 4ba37122421305604b072844daa4b1da37f8202b Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Tue Dec 6 02:18:34 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Tue Dec 6 02:19:20 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4ba37122
sci-mathematics/picosat: new package; add 965 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/picosat/Manifest | 1 + .../picosat/files/picosat-965-makefile.in.patch | 13 ++++++++ sci-mathematics/picosat/metadata.xml | 9 ++++++ sci-mathematics/picosat/picosat-965.ebuild | 35 ++++++++++++++++++++++ 4 files changed, 58 insertions(+) diff --git a/sci-mathematics/picosat/Manifest b/sci-mathematics/picosat/Manifest new file mode 100644 index 000000000000..d49711956ac4 --- /dev/null +++ b/sci-mathematics/picosat/Manifest @@ -0,0 +1 @@ +DIST picosat-965.tar.gz 64386 BLAKE2B 913b08a72c0b15065353c2ee1ff8fe5a9c0f7a2a8653d80f4cdcee8fdcf69eed7621e28f4259a9d0fb506fefb8eccfd293f06aa7c1b3ea3f6cc31eb319a30532 SHA512 b5372962a0079d70641fd76c431b4ab5042c2f3015179762e447634f220cf0744eea786ee40b00035a342f3ead482061ebe1a9e3726bd06e7adf8e0ac0c5eabf diff --git a/sci-mathematics/picosat/files/picosat-965-makefile.in.patch b/sci-mathematics/picosat/files/picosat-965-makefile.in.patch new file mode 100644 index 000000000000..bc0c501c9223 --- /dev/null +++ b/sci-mathematics/picosat/files/picosat-965-makefile.in.patch @@ -0,0 +1,13 @@ +--- a/makefile.in ++++ b/makefile.in +@@ -49,8 +49,8 @@ config.h: makefile VERSION mkconfig.sh # and actually picosat.c + rm -f $@; ./mkconfig.sh > $@ + + libpicosat.a: picosat.o version.o +- ar rc $@ picosat.o version.o +- ranlib $@ ++ $(AR) rc $@ picosat.o version.o ++ $(RANLIB) $@ + + SONAME=-Xlinker -soname -Xlinker libpicosat.so + libpicosat.so: picosat.o version.o diff --git a/sci-mathematics/picosat/metadata.xml b/sci-mathematics/picosat/metadata.xml new file mode 100644 index 000000000000..bfe27bd4a945 --- /dev/null +++ b/sci-mathematics/picosat/metadata.xml @@ -0,0 +1,9 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd";> + +<pkgmetadata> + <maintainer type="project"> + <email>[email protected]</email> + <name>Gentoo Mathematics Project</name> + </maintainer> +</pkgmetadata> diff --git a/sci-mathematics/picosat/picosat-965.ebuild b/sci-mathematics/picosat/picosat-965.ebuild new file mode 100644 index 000000000000..cff148733b40 --- /dev/null +++ b/sci-mathematics/picosat/picosat-965.ebuild @@ -0,0 +1,35 @@ +# Copyright 1999-2022 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit toolchain-funcs + +DESCRIPTION="SAT solver with proof and core support" +HOMEPAGE="http://fmv.jku.at/picosat/"; +SRC_URI="http://fmv.jku.at/${PN}/${P}.tar.gz"; + +SLOT="0" +KEYWORDS="~amd64 ~x86" +LICENSE="MIT" + +src_configure() { + CC="$(tc-getCC)" sh ./configure.sh --shared --trace || die +} + +src_compile() { + emake CFLAGS="${CFLAGS} ${LDFLAGS} -fPIC" +} + +src_install() { + exeinto /usr/bin + doexe picomus picomcs picosat picogcnf + + insinto /usr/share + newins VERSION picosat.version + + dolib.so libpicosat.so + doheader picosat.h + + dodoc NEWS README +}
