From nobody Tue Feb 07 03:00:45 2023 X-Original-To: dev-commits-ports-main@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 4P9nv224p8z3nn3Y; Tue, 7 Feb 2023 03:00:46 +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 "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4P9nv21FG2z3jcK; Tue, 7 Feb 2023 03:00:46 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1675738846; 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=EEJHHbOS3tvc3Poh0MeqEB3pt9J7iJEwvEQM0cFchk4=; b=ldLFEeI+WggUSdc/RClPif+rpoDb/7Jmt0LW8kXXdoE1UNqslqevJ5MlQD/ADpbXO83JpH TUnaSoyMhwSPLfNT3xVrZ/4A4oN49MC6szHzEN8M0Lwz8ICcERHunKws156dG4JcbKneU2 AcWx2jBTVgo/P6SM9CzxmM+h/xCkSBnVIfMyD3EgFmjrgx1GOwXO6fB9SC9pLYK3UQxv+j T3nBv2EGGAm2LsFz0RBCBrFrdHhRKEL/tFdKy77Z9qe/ehTZEg4G5o5SUQT7vLdnyhKQaJ EVB0vhglqslMwXSv2ybG/ifH7REcNb05wEizG4ktrb7litqPGxX8/DsqJ/sxJg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1675738846; 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=EEJHHbOS3tvc3Poh0MeqEB3pt9J7iJEwvEQM0cFchk4=; b=LqK01mLsOQDrGbBpMpqnDQmPywskIDEbSaUwrvyKu21KBLWekgDbKdWMQkd8tMW9KVKR6b VtfURQx39qFZIBjh/Vph/ptTSNOK36ePAIK2m/TuLE2LmBGZjUaabOBspLgWax0EIMi4lg dRXvOnLf2CyO7pm5GinrDAN6ni7WL3Ipzik/Z1fcKVhnCCOrVD2ktYWBTO/JT5cbiN2cb4 +WXAYYFwG99h+Iiyp5tEXsL9Bb4BuuCiQ4F+e6dW9S7d3IYFQFPA/jKPwkRvLpusknDjpl 4O70nSJEfrDX8hbcMrZKI3jBAisjEo9dJKz7As6385oEandi/joFlzuMuR88Mw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1675738846; a=rsa-sha256; cv=none; b=EJEypDeZEtv3Gst533zaPLOCLa/OW/V+r2wXMmBcjGZrH8/d8t8oEriGYghmzN5zSnOOE2 hOe/lrdh3hIMRlxDBQ3TvFQJjaTnighetMmOZpVIKZ2QrpPoW9pmr8BK+O045g+9HOuxFs CeuDzOLbSkCS529U8M+Tbw+mWIETyFX1HVwSjKpLLmVxDHAPCmIHhpwoyLB7gBPo38UIhu VJY+k0cZdz9Jo3lDpABH4vv8uRG4H6dy1VBuwzjxaot+HZxkraQbd7eB842mligi8C8Ndq eVKBK2rKg0um5iemGiVZTQya4KlpDymN3JaPWFvM77qatjgyuUXUfmtcDbilxA== 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 4P9nv20JlFz10vf; Tue, 7 Feb 2023 03:00:46 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.16.1/8.16.1) with ESMTP id 31730jwL059111; Tue, 7 Feb 2023 03:00:45 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.16.1/8.16.1/Submit) id 31730j9d059110; Tue, 7 Feb 2023 03:00:45 GMT (envelope-from git) Date: Tue, 7 Feb 2023 03:00:45 GMT Message-Id: <202302070300.31730j9d059110@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: 5b602234036c - main - math/kissat: New port: Kissat SAT Solver List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-main@freebsd.org X-BeenThere: dev-commits-ports-main@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: 5b602234036cceb5a7740761f2eeafeef51cbf64 Auto-Submitted: auto-generated X-ThisMailContainsUnwantedMimeParts: N The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=5b602234036cceb5a7740761f2eeafeef51cbf64 commit 5b602234036cceb5a7740761f2eeafeef51cbf64 Author: Yuri Victorovich AuthorDate: 2023-02-06 16:23:55 +0000 Commit: Yuri Victorovich CommitDate: 2023-02-07 03:00:42 +0000 math/kissat: New port: Kissat SAT Solver --- math/Makefile | 1 + math/kissat/Makefile | 45 +++++++++++++++++++++++++++++++++++++++ math/kissat/distinfo | 3 +++ math/kissat/files/patch-configure | 11 ++++++++++ math/kissat/pkg-descr | 4 ++++ 5 files changed, 64 insertions(+) diff --git a/math/Makefile b/math/Makefile index 7d8a1a8c3f2f..570bf14101ef 100644 --- a/math/Makefile +++ b/math/Makefile @@ -417,6 +417,7 @@ SUBDIR += kcalc SUBDIR += kfr SUBDIR += kig + SUBDIR += kissat SUBDIR += kktdirect SUBDIR += kmplot SUBDIR += labplot diff --git a/math/kissat/Makefile b/math/kissat/Makefile new file mode 100644 index 000000000000..927c0c56907a --- /dev/null +++ b/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 diff --git a/math/kissat/distinfo b/math/kissat/distinfo new file mode 100644 index 000000000000..eceab4b7f0d7 --- /dev/null +++ b/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 diff --git a/math/kissat/files/patch-configure b/math/kissat/files/patch-configure new file mode 100644 index 000000000000..f23684b8781f --- /dev/null +++ b/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 diff --git a/math/kissat/pkg-descr b/math/kissat/pkg-descr new file mode 100644 index 000000000000..5e97e11f10e4 --- /dev/null +++ b/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.