git: ad3cb804d9b5 - main - math/kissat: update 4.0.1 → 4.0.2

The branch main has been updated by yuri:

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

commit ad3cb804d9b5e7263ba8014b4da98eed2c87514d
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2025-01-25 07:18:37 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2025-01-25 08:14:44 +0000

    math/kissat: update 4.0.1 → 4.0.2
    
    Reported by:    portscout
---
 math/kissat/Makefile | 16 +++++++++++++---
 math/kissat/distinfo |  6 +++---
 2 files changed, 16 insertions(+), 6 deletions(-)

diff --git a/math/kissat/Makefile b/math/kissat/Makefile
index 6a526db40da6..2605eb1b397f 100644
--- a/math/kissat/Makefile
+++ b/math/kissat/Makefile
@@ -1,11 +1,12 @@
 PORTNAME=	kissat
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	4.0.1
+DISTVERSION=	4.0.2
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Kissat SAT Solver
-WWW=		http://fmv.jku.at/kissat/
+WWW=		https://fmv.jku.at/kissat \
+		https://github.com/arminbiere/kissat
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
@@ -29,7 +30,14 @@ PLIST_FILES=	bin/kissat \
 		lib/libkissat.a \
 		lib/libkissat.so
 
-do-install:
+post-configure: # adjust compilation and link options
+	@${REINPLACE_CMD} -E ' \
+		s|-O -DNDEBUG|-DNDEBUG|; \
+		s|^CC=.*|& ${CFLAGS}|; \
+		s|^LD=.*|& ${LDFLAGS}|' \
+		${WRKSRC}/build/makefile
+
+do-install: # https://github.com/arminbiere/kissat/issues/62
 	# executables
 	${INSTALL_PROGRAM} ${WRKSRC}/build/kissat ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_PROGRAM} ${WRKSRC}/build/kitten ${STAGEDIR}${PREFIX}/bin
@@ -40,4 +48,6 @@ do-install:
 	${INSTALL_LIB} ${WRKSRC}/build/libkissat.so ${STAGEDIR}${PREFIX}/lib
 	${INSTALL_DATA} ${WRKSRC}/build/libkissat.a ${STAGEDIR}${PREFIX}/lib
 
+# tests as of 4.0.2: All 1043 test jobs succeeded in 2.35 seconds.
+
 .include <bsd.port.mk>
diff --git a/math/kissat/distinfo b/math/kissat/distinfo
index d7a93260271c..8e523b8b6848 100644
--- a/math/kissat/distinfo
+++ b/math/kissat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1726456259
-SHA256 (arminbiere-kissat-rel-4.0.1_GH0.tar.gz) = 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b
-SIZE (arminbiere-kissat-rel-4.0.1_GH0.tar.gz) = 531537
+TIMESTAMP = 1737785441
+SHA256 (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7
+SIZE (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = 531941