CVS commit: pkgsrc/math/cadical3

"Thomas Klausner" <[email protected]> Fri, 24 Jul 2026 18:38:00 +0000

Newsgroups	gmane.os.netbsd.devel.pkgsrc.cvs
Message-ID	<[email protected]>

Module Name:	pkgsrc
Committed By:	wiz
Date:		Fri Jul 24 18:38:00 UTC 2026

Added Files:
	pkgsrc/math/cadical3: DESCR Makefile PLIST distinfo
	pkgsrc/math/cadical3/patches: patch-makefile.in

Log Message:
math/cadical3: import cadical-3.0.1

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/cadical3/DESCR \
    pkgsrc/math/cadical3/Makefile pkgsrc/math/cadical3/PLIST \
    pkgsrc/math/cadical3/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/math/cadical3/patches/patch-makefile.in

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

(unnamed) (text/x-diff, 3.7 KB)

Added files:

Index: pkgsrc/math/cadical3/DESCR
diff -u /dev/null pkgsrc/math/cadical3/DESCR:1.1
--- /dev/null	Fri Jul 24 18:38:00 2026
+++ pkgsrc/math/cadical3/DESCR	Fri Jul 24 18:38:00 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/cadical3/Makefile
diff -u /dev/null pkgsrc/math/cadical3/Makefile:1.1
--- /dev/null	Fri Jul 24 18:38:00 2026
+++ pkgsrc/math/cadical3/Makefile	Fri Jul 24 18:38:00 2026
@@ -0,0 +1,28 @@
+# $NetBSD: Makefile,v 1.1 2026/07/24 18:38:00 wiz Exp $
+
+DISTNAME=	cadical-3.0.1
+CATEGORIES=	math
+MASTER_SITES=	${MASTER_SITE_GITHUB:=arminbiere/}
+GITHUB_TAG=	rel-${PKGVERSION_NOREV}
+
+MAINTAINER=	[email protected]
+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_CC_FEATURES=	c99
+USE_CXX_FEATURES=	c++11
+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"
Index: pkgsrc/math/cadical3/PLIST
diff -u /dev/null pkgsrc/math/cadical3/PLIST:1.1
--- /dev/null	Fri Jul 24 18:38:00 2026
+++ pkgsrc/math/cadical3/PLIST	Fri Jul 24 18:38:00 2026
@@ -0,0 +1,4 @@
+@comment $NetBSD: PLIST,v 1.1 2026/07/24 18:38:00 wiz Exp $
+bin/cadical
+include/cadical.hpp
+lib/libcadical.a
Index: pkgsrc/math/cadical3/distinfo
diff -u /dev/null pkgsrc/math/cadical3/distinfo:1.1
--- /dev/null	Fri Jul 24 18:38:00 2026
+++ pkgsrc/math/cadical3/distinfo	Fri Jul 24 18:38:00 2026
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2026/07/24 18:38:00 wiz Exp $
+
+BLAKE2s (cadical-3.0.1.tar.gz) = 871fd58882d77725d02be3fd6f225318f631500ae42c198a10ee4fead935d479
+SHA512 (cadical-3.0.1.tar.gz) = aa1838b58cce726776fc73cd9c54b55af2faf4389b97f672a4dcff007e62aed795ebe3f5862fd292b082e47747eb7672e076e1d5f849ff9cf6ab81210ca2b1f4
+Size (cadical-3.0.1.tar.gz) = 889912 bytes
+SHA1 (patch-makefile.in) = ddd727b1fcd5ff6f8623a56e0d9dab178fa6ed96

Index: pkgsrc/math/cadical3/patches/patch-makefile.in
diff -u /dev/null pkgsrc/math/cadical3/patches/patch-makefile.in:1.1
--- /dev/null	Fri Jul 24 18:38:00 2026
+++ pkgsrc/math/cadical3/patches/patch-makefile.in	Fri Jul 24 18:38:00 2026
@@ -0,0 +1,31 @@
+$NetBSD: patch-makefile.in,v 1.1 2026/07/24 18:38:00 wiz Exp $
+
+Honor LDFLAGS.
+https://github.com/arminbiere/cadical/pull/88
+
+--- makefile.in.orig	2026-07-23 12:16:09.567803064 +0000
++++ makefile.in
+@@ -63,19 +63,19 @@ cadical: cadical.o libcadical.a makefile
+ # tester 'mobical') and the library are the main build targets.
+ 
+ cadical: cadical.o libcadical.a makefile
+-	$(COMPILE_CPP) -o $@ $< -L. libcadical.a $(LIBS)
++	$(COMPILE_CPP) -o $@ $< -L. libcadical.a $(LDFLAGS) $(LIBS)
+ 
+ cadical-dynamic: cadical.o libcadical.so makefile
+-	$(COMPILE_CPP) -o $@ $< -L. libcadical.so $(LIBS)
++	$(COMPILE_CPP) -o $@ $< -L. libcadical.so $(LDFLAGS) $(LIBS)
+ 
+ mobical: mobical.o libcadical.a makefile $(LIBS)
+-	$(COMPILE_CPP) -o $@ $< -L. libcadical.a
++	$(COMPILE_CPP) -o $@ $< -L. libcadical.a $(LDFLAGS) $(LIBS)
+ 
+ libcadical.a: $(OBJ_SOLVER) $(OBJ_CONTRIB) makefile
+ 	ar rc $@ $(OBJ_SOLVER) $(OBJ_CONTRIB)
+ 
+ libcadical.so: $(OBJ_SOLVER) $(OBJ_CONTRIB) $(LIBS) makefile
+-	$(COMPILE_CPP) -shared -o $@ $(OBJ_SOLVER) $(OBJ_CONTRIB) $(LIBS)
++	$(COMPILE_CPP) -shared -o $@ $(OBJ_SOLVER) $(OBJ_CONTRIB) $(LDFLAGS) $(LIBS)
+ 
+ #--------------------------------------------------------------------------#
+