sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-04-28 01:26:39 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/kissat: update 4.0.1 → 4.0.2

Browse source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2025-01-24 23:18:37 -08:00
parent 6feb21e9f8
commit ad3cb804d9
2 changed files with 16 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
math/kissat/Makefile
View file

@ -1,11 +1,12 @@
PORTNAME= kissat PORTNAME= kissat
DISTVERSIONPREFIX= rel- DISTVERSIONPREFIX= rel-
DISTVERSION= 4.0.1 DISTVERSION= 4.0.2
CATEGORIES= math CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org MAINTAINER= yuri@FreeBSD.org
COMMENT= Kissat SAT Solver COMMENT= Kissat SAT Solver
WWW= http://fmv.jku.at/kissat/ WWW= https://fmv.jku.at/kissat \
https://github.com/arminbiere/kissat
LICENSE= MIT LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE LICENSE_FILE= ${WRKSRC}/LICENSE
@ -29,7 +30,14 @@ PLIST_FILES= bin/kissat \
lib/libkissat.a \ lib/libkissat.a \
lib/libkissat.so 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 # executables
${INSTALL_PROGRAM} ${WRKSRC}/build/kissat ${STAGEDIR}${PREFIX}/bin ${INSTALL_PROGRAM} ${WRKSRC}/build/kissat ${STAGEDIR}${PREFIX}/bin
${INSTALL_PROGRAM} ${WRKSRC}/build/kitten ${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_LIB} ${WRKSRC}/build/libkissat.so ${STAGEDIR}${PREFIX}/lib
${INSTALL_DATA} ${WRKSRC}/build/libkissat.a ${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> .include <bsd.port.mk>

6
math/kissat/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1726456259 TIMESTAMP = 1737785441
SHA256 (arminbiere-kissat-rel-4.0.1_GH0.tar.gz) = 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b SHA256 (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7
SIZE (arminbiere-kissat-rel-4.0.1_GH0.tar.gz) = 531537 SIZE (arminbiere-kissat-rel-4.0.2_GH0.tar.gz) = 531941