cadical: link to upstream bug

[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 18:54:55 2026 +0200
Changeset:	d238d5bce44b90604ce028c0619c664802195051

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

Log Message:
cadical: link to upstream bug

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

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

diffstat:
 cadical/distinfo                  | 2 +-
 cadical/patches/patch-makefile.in | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diffs:
diff --git a/cadical/distinfo b/cadical/distinfo
index cc97edfbaf..3fb9c63740 100644
--- a/cadical/distinfo
+++ b/cadical/distinfo
@@ -3,4 +3,4 @@ $NetBSD$
 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
+SHA1 (patch-makefile.in) = ddd727b1fcd5ff6f8623a56e0d9dab178fa6ed96
diff --git a/cadical/patches/patch-makefile.in b/cadical/patches/patch-makefile.in
index a99236f6da..3c689fbcfa 100644
--- a/cadical/patches/patch-makefile.in
+++ b/cadical/patches/patch-makefile.in
@@ -1,6 +1,7 @@
 $NetBSD$
 
 Honor LDFLAGS.
+https://github.com/arminbiere/cadical/pull/88
 
 --- makefile.in.orig	2026-07-23 12:16:09.567803064 +0000
 +++ makefile.in