CVS commit: pkgsrc/math/cadical

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Sun Nov  8 13:51:53 UTC 2026

Modified Files:
        pkgsrc/math/cadical: Makefile PLIST buildlink3.mk
Added Files:
        pkgsrc/math/cadical/files: cadical.pc

Log Message:
Add pkg-config file for upcoming math/bitwuzla import.


To generate a diff of this commit:
cvs rdiff -u -r1.4 -r1.5 pkgsrc/math/cadical/Makefile
cvs rdiff -u -r1.2 -r1.3 pkgsrc/math/cadical/PLIST \
    pkgsrc/math/cadical/buildlink3.mk
cvs rdiff -u -r0 -r1.1 pkgsrc/math/cadical/files/cadical.pc

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.4 pkgsrc/math/cadical/Makefile:1.5
--- pkgsrc/math/cadical/Makefile:1.4    Tue Aug  4 20:29:06 2026
+++ pkgsrc/math/cadical/Makefile        Sun Nov  8 13:51:53 2026
@@ -1,6 +1,7 @@
-# $NetBSD: Makefile,v 1.4 2026/08/04 20:29:06 wiz Exp $
+# $NetBSD: Makefile,v 1.5 2026/11/08 13:51:53 alnsn Exp $
 
 DISTNAME=      cadical-2.1.3
+PKGREVISION=   1
 CATEGORIES=    math
 MASTER_SITES=  ${MASTER_SITE_GITHUB:=arminbiere/}
 GITHUB_TAG=    rel-${PKGVERSION_NOREV}
@@ -17,9 +18,19 @@ USE_TOOLS+=  gmake
 MAKE_FILE=     makefile
 TEST_TARGET=   test
 
-INSTALLATION_DIRS=     bin include/cadical lib
+INSTALLATION_DIRS=     bin include/cadical lib lib/pkgconfig
+
+SUBST_CLASSES+=                pc
+SUBST_STAGE.pc=                pre-configure
+SUBST_MESSAGE.pc=      Set prefix and version in cadical.pc.
+SUBST_FILES.pc=                cadical.pc
+SUBST_VARS.pc=         PREFIX PKGVERSION_NOREV
+
+post-extract:
+       ${CP} ${FILESDIR}/cadical.pc ${WRKSRC}/cadical.pc
 
 do-install:
+       ${INSTALL_DATA} ${WRKSRC}/cadical.pc ${DESTDIR}${PREFIX}/lib/pkgconfig
        ${INSTALL_PROGRAM} ${WRKSRC}/build/cadical ${DESTDIR}${PREFIX}/bin
        ${INSTALL_DATA} ${WRKSRC}/src/tracer.hpp ${DESTDIR}${PREFIX}/include/cadical
        ${INSTALL_DATA} ${WRKSRC}/src/cadical.hpp ${DESTDIR}${PREFIX}/include/cadical

Index: pkgsrc/math/cadical/PLIST
diff -u pkgsrc/math/cadical/PLIST:1.2 pkgsrc/math/cadical/PLIST:1.3
--- pkgsrc/math/cadical/PLIST:1.2       Tue Jun 30 22:52:48 2026
+++ pkgsrc/math/cadical/PLIST   Sun Nov  8 13:51:53 2026
@@ -1,5 +1,6 @@
-@comment $NetBSD: PLIST,v 1.2 2026/06/30 22:52:48 alnsn Exp $
+@comment $NetBSD: PLIST,v 1.3 2026/11/08 13:51:53 alnsn Exp $
 bin/cadical
 include/cadical/cadical.hpp
 include/cadical/tracer.hpp
 lib/libcadical.a
+lib/pkgconfig/cadical.pc
Index: pkgsrc/math/cadical/buildlink3.mk
diff -u pkgsrc/math/cadical/buildlink3.mk:1.2 pkgsrc/math/cadical/buildlink3.mk:1.3
--- pkgsrc/math/cadical/buildlink3.mk:1.2       Fri Jul 24 18:36:40 2026
+++ pkgsrc/math/cadical/buildlink3.mk   Sun Nov  8 13:51:53 2026
@@ -1,4 +1,4 @@
-# $NetBSD: buildlink3.mk,v 1.2 2026/07/24 18:36:40 wiz Exp $
+# $NetBSD: buildlink3.mk,v 1.3 2026/11/08 13:51:53 alnsn Exp $
 
 BUILDLINK_TREE+=       cadical
 
@@ -6,7 +6,7 @@ BUILDLINK_TREE+=        cadical
 CADICAL_BUILDLINK3_MK:=
 
 BUILDLINK_API_DEPENDS.cadical+=        cadical>=2.1.3<3
-BUILDLINK_ABI_DEPENDS.cadical+=        cadical>=2.1.3
+BUILDLINK_ABI_DEPENDS.cadical+=        cadical>=2.1.3nb1
 BUILDLINK_PKGSRCDIR.cadical?=  ../../math/cadical
 .endif # CADICAL_BUILDLINK3_MK
 

Added files:

Index: pkgsrc/math/cadical/files/cadical.pc
diff -u /dev/null pkgsrc/math/cadical/files/cadical.pc:1.1
--- /dev/null   Sun Nov  8 13:51:53 2026
+++ pkgsrc/math/cadical/files/cadical.pc        Sun Nov  8 13:51:53 2026
@@ -0,0 +1,10 @@
+prefix=@PREFIX@
+exec_prefix=${prefix}
+libdir=${exec_prefix}/lib
+includedir=${prefix}/include
+
+Name: CaDiCaL
+Description: CaDiCaL SAT solver (v2)
+Version: @PKGVERSION_NOREV@
+Libs: -L${libdir} -lcadical
+Cflags: -I${includedir}