git: 5b602234036c - main - math/kissat: New port: Kissat SAT Solver

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=5b602234036cceb5a7740761f2eeafeef51cbf64

commit 5b602234036cceb5a7740761f2eeafeef51cbf64
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-02-06 16:23:55 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-02-07 03:00:42 +0000

    math/kissat: New port: Kissat SAT Solver
---
 math/Makefile                     |  1 +
 math/kissat/Makefile              | 45 +++++++++++++++++++++++++++++++++++++++
 math/kissat/distinfo              |  3 +++
 math/kissat/files/patch-configure | 11 ++++++++++
 math/kissat/pkg-descr             |  4 ++++
 5 files changed, 64 insertions(+)

diff --git a/math/Makefile b/math/Makefile
index 7d8a1a8c3f2f..570bf14101ef 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -417,6 +417,7 @@
     SUBDIR += kcalc
     SUBDIR += kfr
     SUBDIR += kig
+    SUBDIR += kissat
     SUBDIR += kktdirect
     SUBDIR += kmplot
     SUBDIR += labplot
diff --git a/math/kissat/Makefile b/math/kissat/Makefile
new file mode 100644
index 000000000000..927c0c56907a
--- /dev/null
+++ b/math/kissat/Makefile
@@ -0,0 +1,45 @@
+PORTNAME=	kissat
+DISTVERSIONPREFIX=	rel-
+DISTVERSION=	3.0.0
+CATEGORIES=	math
+
+MAINTAINER=	yuri@FreeBSD.org
+COMMENT=	Kissat SAT Solver
+WWW=		http://fmv.jku.at/kissat/
+
+LICENSE=	MIT
+LICENSE_FILE=	${WRKSRC}/LICENSE
+
+USES=		gmake
+USE_LDCONFIG=	yes
+
+USE_GITHUB=	yes
+
+USE_GITHUB=	yes
+GH_ACCOUNT=	arminbiere
+
+GNU_CONFIGURE=	yes
+CONFIGURE_ARGS=	--shared --kitten --statistics
+
+MAKEFILE=	makefile
+
+TEST_TARGET=	test
+
+PLIST_FILES=	bin/kissat \
+		bin/kitten \
+		include/${PORTNAME}/kissat.h \
+		lib/libkissat.a \
+		lib/libkissat.so
+
+do-install:
+	# executables
+	${INSTALL_PROGRAM} ${WRKSRC}/build/kissat ${STAGEDIR}${PREFIX}/bin
+	${INSTALL_PROGRAM} ${WRKSRC}/build/kitten ${STAGEDIR}${PREFIX}/bin
+	# header
+	${MKDIR} ${STAGEDIR}${PREFIX}/include/${PORTNAME}
+	${INSTALL_DATA} ${WRKSRC}/src/kissat.h ${STAGEDIR}${PREFIX}/include/${PORTNAME}
+	# libs
+	${INSTALL_LIB} ${WRKSRC}/build/libkissat.so ${STAGEDIR}${PREFIX}/lib
+	${INSTALL_DATA} ${WRKSRC}/build/libkissat.a ${STAGEDIR}${PREFIX}/lib
+
+.include <bsd.port.mk>
diff --git a/math/kissat/distinfo b/math/kissat/distinfo
new file mode 100644
index 000000000000..eceab4b7f0d7
--- /dev/null
+++ b/math/kissat/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1675723942
+SHA256 (arminbiere-kissat-rel-3.0.0_GH0.tar.gz) = 230895b3beaec5f2c78f6cc520a7db94b294edf244cbad37e2ee6a8a63bd7bdf
+SIZE (arminbiere-kissat-rel-3.0.0_GH0.tar.gz) = 466704
diff --git a/math/kissat/files/patch-configure b/math/kissat/files/patch-configure
new file mode 100644
index 000000000000..f23684b8781f
--- /dev/null
+++ b/math/kissat/files/patch-configure
@@ -0,0 +1,11 @@
+--- configure.orig	2023-02-06 22:53:04 UTC
++++ configure
+@@ -279,7 +279,7 @@ do
+ 
+     CC=*) CC="`echo \"$1\"|sed -e s,^CC=,,`";;
+ 
+-    *) die "invalid option '$1' (try '-h')";;
++    *) echo "invalid option '$1' (try '-h')";;
+   esac
+   shift
+ done
diff --git a/math/kissat/pkg-descr b/math/kissat/pkg-descr
new file mode 100644
index 000000000000..5e97e11f10e4
--- /dev/null
+++ b/math/kissat/pkg-descr
@@ -0,0 +1,4 @@
+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.