From ad3cb804d9b5e7263ba8014b4da98eed2c87514d Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Fri, 24 Jan 2025 23:18:37 -0800 Subject: [PATCH] =?UTF-8?q?math/kissat:=20update=204.0.1=20=E2=86=92=204.0?= =?UTF-8?q?.2?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 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