cadical: update to 3.0.1.

[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 23 14:17:49 2026 +0200
Changeset:	e1c46c59a39bb3e5724dbd5f7180e4f4553dcd6b

Modified Files:
	cadical/Makefile
	cadical/distinfo
Added Files:
	cadical/patches/patch-makefile.in

Log Message:
cadical: update to 3.0.1.

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

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

diffstat:
 cadical/Makefile                  | 14 ++++++++------
 cadical/distinfo                  |  7 ++++---
 cadical/patches/patch-makefile.in | 30 ++++++++++++++++++++++++++++++
 3 files changed, 42 insertions(+), 9 deletions(-)

diffs:
diff --git a/cadical/Makefile b/cadical/Makefile
index a8154e8e81..8ffa98256f 100644
--- a/cadical/Makefile
+++ b/cadical/Makefile
@@ -1,6 +1,6 @@
 # $NetBSD$
 
-DISTNAME=	cadical-2.1.3
+DISTNAME=	cadical-3.0.1
 CATEGORIES=	math
 MASTER_SITES=	${MASTER_SITE_GITHUB:=arminbiere/}
 GITHUB_TAG=	rel-${PKGVERSION_NOREV}
@@ -10,11 +10,13 @@ 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
+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
 
diff --git a/cadical/distinfo b/cadical/distinfo
index 87b23da326..cc97edfbaf 100644
--- a/cadical/distinfo
+++ b/cadical/distinfo
@@ -1,5 +1,6 @@
 $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
+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) = 03a4baad7682b442856ca87a504531141bbf8ab5
diff --git a/cadical/patches/patch-makefile.in b/cadical/patches/patch-makefile.in
new file mode 100644
index 0000000000..a99236f6da
--- /dev/null
+++ b/cadical/patches/patch-makefile.in
@@ -0,0 +1,30 @@
+$NetBSD$
+
+Honor LDFLAGS.
+
+--- 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)
+ 
+ #--------------------------------------------------------------------------#
+