math/kissat: New port: Kissat SAT Solver

math/Makefile

@@ -417,6 +417,7 @@
     SUBDIR += kcalc
     SUBDIR += kfr
     SUBDIR += kig
+    SUBDIR += kissat
     SUBDIR += kktdirect
     SUBDIR += kmplot
     SUBDIR += labplot

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>

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

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

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.