From nobody Sat Jan 25 08:14:49 2025 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4Yg6t137DNz5mCgL; Sat, 25 Jan 2025 08:14:49 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R11" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Yg6t12X6wz3Lxc; Sat, 25 Jan 2025 08:14:49 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1737792889; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=xOna324U0dnQlNTgPREm9+mtj28ijtflAYeoBLr8iGU=; b=oLyisNigsH+Dk4B9mhr9iYoAHHXxBLrc5eHqCR0B9blS47t3AuPxnjgqXBD1j6hOB3817f 9Y8jZ5Or1n0WzjzeqLqoiUWQOsTD3Qjnnb9L7RM+7B9xco6M4V/gw8E9MwHspxY1zjeaOW nbd3kmu/8arsNxPxtlW5r5k5Oune+yPaq8IHtdSlzjhICEIxpUw+E10lb2IgQfjpkhQ8oO GjPS1JDVkNOMB1JMxTmkYJ16bg2EkkPTGbjhnbhRqBDoomDRV68OCZE2iBiNFMyoD9Ywex yW88pIwZ1gR0xb7W8y936UU0+0GLom6DyI6eOxOaj2jL3G4G8zjFaIi7yTJcqg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1737792889; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=xOna324U0dnQlNTgPREm9+mtj28ijtflAYeoBLr8iGU=; b=E2M9O0R6oAXwvy8Pc7cCVlbmDzUTjvKBaXKLjXcDc0sKMrbw/+d6nOiH7ToBM+Mijsrs0R tB3tzvoPzUb4eDMg2hakzKy9pSuClgSw8ku9IZ4xA28d8T9PlYyvklbkv+iv4iqhF+sEJq hxwTBA5pprOPjAiFugo0/i7dpjcQjFrdjL8GpD89Xu7yKovgpoqg0GIiWT4Xt9wlXJm+lK cTwxLEVnOnwc7zaHUG918QvfzvfIQDMhw66ZKNSVXh5H+ysWXs74K206P/Ks4rCmEhZqbF Pw4VMdVmofxhYijO5NZnYBS88a/bxdKxU4kXXSujday7tXY40UMmni0jgiGeUg== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1737792889; a=rsa-sha256; cv=none; b=OmmoJKSLitU+/vb+C9Y222k/bY6uk126IhDHQOl2c9emNjYXqmDVhuUmA8tdJkdi51L7Yw IDMoBrgyhLqWlIaXzHV8AYpdVN3Y2dCdngr3dX39ri76FZNikIIZmYJp7Z0JwPlfBii6VM +PYuBxTtJGXeA2Q+/e5jsCgz8gYuNeSmc4nDAdiY1LM7oWAaIR1tvvqShITUUrahBTew4t l8KSQ8GLEW8fzix4NEu1nP/x2Bhjc+HH0WS5j1QrzWN1LakklmEealtmm0lWQ7XVPb/joa Zkb5tZwjSpWZ8aKYShZb9Akct8JI8pxvBXp9tJIud71xFo4aBi3/WLRBIQpo4A== ARC-Authentication-Results: i=1; mx1.freebsd.org; none Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4Yg6t11vFnz13ph; Sat, 25 Jan 2025 08:14:49 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.18.1/8.18.1) with ESMTP id 50P8En2v096262; Sat, 25 Jan 2025 08:14:49 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.18.1/8.18.1/Submit) id 50P8En8j096259; Sat, 25 Jan 2025 08:14:49 GMT (envelope-from git) Date: Sat, 25 Jan 2025 08:14:49 GMT Message-Id: <202501250814.50P8En8j096259@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: ad3cb804d9b5 - main - =?utf-8?Q?math/kissat: update 4.0.1 =E2=86=92 4.0.2?= List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-all@freebsd.org Sender: owner-dev-commits-ports-all@FreeBSD.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: ad3cb804d9b5e7263ba8014b4da98eed2c87514d Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=ad3cb804d9b5e7263ba8014b4da98eed2c87514d commit ad3cb804d9b5e7263ba8014b4da98eed2c87514d Author: Yuri Victorovich AuthorDate: 2025-01-25 07:18:37 +0000 Commit: Yuri Victorovich 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 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