summaryrefslogtreecommitdiff
path: root/sci-mathematics/kissat
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-01-10 06:19:57 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-01-10 06:19:57 +0000
commit30f491533785a455cdfbd05bb57f1f869a8e41bb (patch)
tree231d01a9349dfa1f56a7235017f5201a7382c652 /sci-mathematics/kissat
parenta96f1a2ca235a5eb9e7c498636cd1291be76cb09 (diff)
gentoo auto-resync : 10:01:2023 - 06:19:57
Diffstat (limited to 'sci-mathematics/kissat')
-rw-r--r--sci-mathematics/kissat/Manifest3
-rw-r--r--sci-mathematics/kissat/kissat-3.0.0.ebuild37
-rw-r--r--sci-mathematics/kissat/metadata.xml19
3 files changed, 59 insertions, 0 deletions
diff --git a/sci-mathematics/kissat/Manifest b/sci-mathematics/kissat/Manifest
new file mode 100644
index 000000000000..e6ffc5abf9bc
--- /dev/null
+++ b/sci-mathematics/kissat/Manifest
@@ -0,0 +1,3 @@
+DIST kissat-3.0.0.tar.gz 466704 BLAKE2B 453f894884e80cfd0ee7022adbde0439d64e31a402c4bfa92f022ad41699cc5c11682d5b9069cf33f8a779afa255f103987519bc9412b49f54480bd688fbc4eb SHA512 2a5b7b9c9bb74ca8395399425519c138e135eb9adfb6e802ce8d7544c9d53e0b7687f86e6a032fcdff1c6fc01770dd7e7449e488e0ddf3e4ee1199e1448a0862
+EBUILD kissat-3.0.0.ebuild 772 BLAKE2B 80d43e118bd7f2877db6df72e38a71212965b65aca5eb6ca2bd407bd110cc9aa431f65a4fd4c3fc1e535fce4d1c2c01d7f1a96cde0aa2d7b058e445fdbd44b90 SHA512 6f40a9b420e5f6a9433abb5278d081a52b7dfd9d4f490f8934153314ca0652eff8bacbb3bef75485a1e47cde6555ae340c0324056b8e51e37818f144637d79e9
+MISC metadata.xml 762 BLAKE2B 95fefd93903442e9c5c6881127d734899535b35ffcef1e9082502774849d5b04aeb7f5f5d53b2dfc899f9b503fce0785ec5f3e8fab580965636bbb17775b10e5 SHA512 441d510f122197141ce7a4140023d858c6dbb41bd8f8ea5b8466aaa4864b51df019d0759cdf54de51eb89bf4f421fbdf8937e6349b2100cb1e92d5b8f9556c26
diff --git a/sci-mathematics/kissat/kissat-3.0.0.ebuild b/sci-mathematics/kissat/kissat-3.0.0.ebuild
new file mode 100644
index 000000000000..3c36cf0cd9ef
--- /dev/null
+++ b/sci-mathematics/kissat/kissat-3.0.0.ebuild
@@ -0,0 +1,37 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit toolchain-funcs
+
+DESCRIPTION="Keep-it-simple and clean bare metal SAT solver written in C"
+HOMEPAGE="http://fmv.jku.at/kissat/
+ https://github.com/arminbiere/kissat/"
+SRC_URI="https://github.com/arminbiere/${PN}/archive/rel-${PV}.tar.gz
+ -> ${P}.tar.gz"
+S="${WORKDIR}"/${PN}-rel-${PV}
+
+LICENSE="MIT"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+
+src_configure() {
+ local myopts=(
+ CC="$(tc-getCC) ${CFLAGS} ${LDFLAGS}"
+ --kitten
+ --statistics
+ )
+ sh ./configure "${myopts[@]}" || die
+}
+
+src_compile() {
+ emake AR="$(tc-getAR)"
+}
+
+src_install() {
+ dolib.a build/libkissat.a
+ exeinto /usr/bin/
+ doexe build/{kissat,kitten}
+ dodoc CONTRIBUTING NEWS.md README.md
+}
diff --git a/sci-mathematics/kissat/metadata.xml b/sci-mathematics/kissat/metadata.xml
new file mode 100644
index 000000000000..89067a2c8952
--- /dev/null
+++ b/sci-mathematics/kissat/metadata.xml
@@ -0,0 +1,19 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+ </maintainer>
+ <longdescription>
+ Kissat is a "keep it simple and clean bare metal SAT solver" written in C.
+ It is a port of CaDiCaL back to C with improved data structures, better
+ scheduling of inprocessing and optimized algorithms and implementation.
+ Coincidentally "kissat" also means "cats" in Finnish.
+ </longdescription>
+ <upstream>
+ <bugs-to>https://github.com/arminbiere/kissat//issues/</bugs-to>
+ <remote-id type="github">arminbiere/kissat</remote-id>
+ </upstream>
+</pkgmetadata>