cadical: add new untested package

[Thomas Klausner (via pkgsrc-wip) <commit-notify%pkgsrc.org@localhost>]

Module Name:	pkgsrc-wip
Committed By:	Thomas Klausner <wiz%NetBSD.org@localhost>
Pushed By:	wiz
Date:		Thu Jul 31 12:35:51 2025 +0200
Changeset:	8021ecbeeba652849eb0e22a979682a4f880fea0

Modified Files:
	Makefile
Added Files:
	cadical/DESCR
	cadical/Makefile
	cadical/PLIST
	cadical/distinfo

Log Message:
cadical: add new untested package

To see a diff of this commit:
https://wip.pkgsrc.org/cgi-bin/gitweb.cgi?p=pkgsrc-wip.git;a=commitdiff;h=8021ecbeeba652849eb0e22a979682a4f880fea0

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

diffstat:
 Makefile         |  1 +
 cadical/DESCR    |  3 +++
 cadical/Makefile | 26 ++++++++++++++++++++++++++
 cadical/PLIST    |  4 ++++
 cadical/distinfo |  5 +++++
 5 files changed, 39 insertions(+)

diffs:
diff --git a/Makefile b/Makefile
index ef82f5fe47..68bb1e5833 100644
--- a/Makefile
+++ b/Makefile
@@ -410,6 +410,7 @@ SUBDIR+=	cacti-plugin-rrdclean
 SUBDIR+=	cacti-plugin-settings
 SUBDIR+=	cacti-plugin-thold
 SUBDIR+=	cacti-plugin-weathermap
+SUBDIR+=	cadical
 SUBDIR+=	cairo-dingbat-ttf
 SUBDIR+=	cairo-dock
 SUBDIR+=	cairo-dock-plugins
diff --git a/cadical/DESCR b/cadical/DESCR
new file mode 100644
index 0000000000..374101eddd
--- /dev/null
+++ b/cadical/DESCR
@@ -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.
diff --git a/cadical/Makefile b/cadical/Makefile
new file mode 100644
index 0000000000..a8154e8e81
--- /dev/null
+++ b/cadical/Makefile
@@ -0,0 +1,26 @@
+# $NetBSD$
+
+DISTNAME=	cadical-2.1.3
+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
+
+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"
diff --git a/cadical/PLIST b/cadical/PLIST
new file mode 100644
index 0000000000..178339fdf5
--- /dev/null
+++ b/cadical/PLIST
@@ -0,0 +1,4 @@
+@comment $NetBSD$
+bin/cadical
+include/cadical.hpp
+lib/libcadical.a
diff --git a/cadical/distinfo b/cadical/distinfo
new file mode 100644
index 0000000000..87b23da326
--- /dev/null
+++ b/cadical/distinfo
@@ -0,0 +1,5 @@
+$NetBSD$
+
+BLAKE2s (cadical-2.1.3.tar.gz) = 500c8512bbfcdbfc08ab2affeaf88f870cc18191b00441ba4c1de687fcd292d2
+SHA512 (cadical-2.1.3.tar.gz) = 8bcd6a6a432ee219909e87613e026b8b6de309ad517e4fea1d8233716ed288ae127f3ac195f8f5504187e28c23295470a9d399ff62fbdc63532e5e9e4f9c864e
+Size (cadical-2.1.3.tar.gz) = 731545 bytes