CVS commit: pkgsrc/math/cadical

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Tue Jun 30 22:52:48 UTC 2026

Modified Files:
        pkgsrc/math/cadical: Makefile PLIST distinfo

Log Message:
Downgrade a very recently added math/cadical to 2.1.3.

Version 3.0.0 isn't supported by cvc5:
  https://github.com/cvc5/cvc5/issues/12611

Make other changes to help cvc5 find cadical in /usr/pkg:
 - add tracer.hpp
 - move headers to include/cadical


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 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.

Modified files:

Index: pkgsrc/math/cadical/Makefile
diff -u pkgsrc/math/cadical/Makefile:1.1 pkgsrc/math/cadical/Makefile:1.2
--- pkgsrc/math/cadical/Makefile:1.1    Sun Jun 28 16:22:35 2026
+++ pkgsrc/math/cadical/Makefile        Tue Jun 30 22:52:48 2026
@@ -1,6 +1,6 @@
-# $NetBSD: Makefile,v 1.1 2026/06/28 16:22:35 alnsn Exp $
+# $NetBSD: Makefile,v 1.2 2026/06/30 22:52:48 alnsn Exp $
 
-DISTNAME=      cadical-3.0.0
+DISTNAME=      cadical-2.1.3
 CATEGORIES=    math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=arminbiere/}
 GITHUB_TAG=    rel-${PKGVERSION_NOREV}
@@ -17,11 +17,12 @@ USE_TOOLS+= gmake
 MAKE_FILE=     makefile
 TEST_TARGET=   test
 
-INSTALLATION_DIRS=     bin include lib
+INSTALLATION_DIRS=     bin include/cadical lib
 
 do-install:
        ${INSTALL_PROGRAM} ${WRKSRC}/build/cadical ${DESTDIR}${PREFIX}/bin
-       ${INSTALL_DATA} ${WRKSRC}/src/cadical.hpp ${DESTDIR}${PREFIX}/include
+       ${INSTALL_DATA} ${WRKSRC}/src/tracer.hpp ${DESTDIR}${PREFIX}/include/cadical
+       ${INSTALL_DATA} ${WRKSRC}/src/cadical.hpp ${DESTDIR}${PREFIX}/include/cadical
        ${INSTALL_DATA} ${WRKSRC}/build/libcadical.a ${DESTDIR}${PREFIX}/lib
 
 .include "../../mk/bsd.pkg.mk"
Index: pkgsrc/math/cadical/PLIST
diff -u pkgsrc/math/cadical/PLIST:1.1 pkgsrc/math/cadical/PLIST:1.2
--- pkgsrc/math/cadical/PLIST:1.1       Sun Jun 28 16:22:35 2026
+++ pkgsrc/math/cadical/PLIST   Tue Jun 30 22:52:48 2026
@@ -1,4 +1,5 @@
-@comment $NetBSD: PLIST,v 1.1 2026/06/28 16:22:35 alnsn Exp $
+@comment $NetBSD: PLIST,v 1.2 2026/06/30 22:52:48 alnsn Exp $
 bin/cadical
-include/cadical.hpp
+include/cadical/cadical.hpp
+include/cadical/tracer.hpp
 lib/libcadical.a
Index: pkgsrc/math/cadical/distinfo
diff -u pkgsrc/math/cadical/distinfo:1.1 pkgsrc/math/cadical/distinfo:1.2
--- pkgsrc/math/cadical/distinfo:1.1    Sun Jun 28 16:22:35 2026
+++ pkgsrc/math/cadical/distinfo        Tue Jun 30 22:52:48 2026
@@ -1,5 +1,5 @@
-$NetBSD: distinfo,v 1.1 2026/06/28 16:22:35 alnsn Exp $
+$NetBSD: distinfo,v 1.2 2026/06/30 22:52:48 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
+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