CVS commit: pkgsrc/math/cadical

["Alexander Nasonov" <alnsn%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sun Jun 28 16:22:35 UTC 2026

Added Files:
        pkgsrc/math/cadical: DESCR Makefile PLIST distinfo

Log Message:
Import math/cadical from wip, update to 3.0.0, add TEST_TARGET.

The goal of the development of CaDiCaL was to obtain a CDCL solver,
which is easy to understand and change, while at the same time not
being much slower than other state-of-the-art CDCL solvers.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/cadical/DESCR pkgsrc/math/cadical/Makefile \
    pkgsrc/math/cadical/PLIST pkgsrc/math/cadical/distinfo

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Added files:

Index: pkgsrc/math/cadical/DESCR
diff -u /dev/null pkgsrc/math/cadical/DESCR:1.1
--- /dev/null   Sun Jun 28 16:22:35 2026
+++ pkgsrc/math/cadical/DESCR   Sun Jun 28 16:22:35 2026
@@ -0,0 +1,3 @@
+The goal of the development of CaDiCaL was to obtain a CDCL solver,
+which is easy to understand and change, while at the same time not
+being much slower than other state-of-the-art CDCL solvers.
Index: pkgsrc/math/cadical/Makefile
diff -u /dev/null pkgsrc/math/cadical/Makefile:1.1
--- /dev/null   Sun Jun 28 16:22:35 2026
+++ pkgsrc/math/cadical/Makefile        Sun Jun 28 16:22:35 2026
@@ -0,0 +1,27 @@
+# $NetBSD: Makefile,v 1.1 2026/06/28 16:22:35 alnsn Exp $
+
+DISTNAME=      cadical-3.0.0
+CATEGORIES=    math
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=arminbiere/}
+GITHUB_TAG=    rel-${PKGVERSION_NOREV}
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      https://github.com/arminbiere/cadical/
+COMMENT=       SAT Solver
+LICENSE=       mit
+
+WRKSRC=                ${WRKDIR}/cadical-rel-${PKGVERSION_NOREV}
+HAS_CONFIGURE= yes
+USE_LANGUAGES= c c++
+USE_TOOLS+=    gmake
+MAKE_FILE=     makefile
+TEST_TARGET=   test
+
+INSTALLATION_DIRS=     bin include lib
+
+do-install:
+       ${INSTALL_PROGRAM} ${WRKSRC}/build/cadical ${DESTDIR}${PREFIX}/bin
+       ${INSTALL_DATA} ${WRKSRC}/src/cadical.hpp ${DESTDIR}${PREFIX}/include
+       ${INSTALL_DATA} ${WRKSRC}/build/libcadical.a ${DESTDIR}${PREFIX}/lib
+
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/math/cadical/PLIST
diff -u /dev/null pkgsrc/math/cadical/PLIST:1.1
--- /dev/null   Sun Jun 28 16:22:35 2026
+++ pkgsrc/math/cadical/PLIST   Sun Jun 28 16:22:35 2026
@@ -0,0 +1,4 @@
+@comment $NetBSD: PLIST,v 1.1 2026/06/28 16:22:35 alnsn Exp $
+bin/cadical
+include/cadical.hpp
+lib/libcadical.a
Index: pkgsrc/math/cadical/distinfo
diff -u /dev/null pkgsrc/math/cadical/distinfo:1.1
--- /dev/null   Sun Jun 28 16:22:35 2026
+++ pkgsrc/math/cadical/distinfo        Sun Jun 28 16:22:35 2026
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2026/06/28 16:22:35 alnsn Exp $
+
+BLAKE2s (cadical-3.0.0.tar.gz) = fe6e9d0d8b5038146f22ac811034836d2115777850d544d100f98e4113052156
+SHA512 (cadical-3.0.0.tar.gz) = df0149ca658d55a6c0dbd6209ddf21578ccfc2142eae76847302a7fb9716d25b1ca4ead7cc79cf5d63f0e71538aaa0d94863c0bb3c77a0287b78bf15316eec56
+Size (cadical-3.0.0.tar.gz) = 885834 bytes