CVS commit: pkgsrc/math

To: pkgsrc-changes%NetBSD.org@localhost
Subject: CVS commit: pkgsrc/math
From: "Dmytro Kazankov" <dkazankov%netbsd.org@localhost>
Date: Thu, 10 Jul 2025 15:47:58 +0000

Module Name:    pkgsrc
Committed By:   dkazankov
Date:           Thu Jul 10 15:47:58 UTC 2025

Modified Files:
        pkgsrc/math: Makefile
Added Files:
        pkgsrc/math/ada-adasat-25: DESCR Makefile PLIST buildlink3.mk distinfo
        pkgsrc/math/ada-adasat-25/patches: patch-Makefile

Log Message:
math/ada-adasat-25: Add new package version 25.0.0

Implementation of a DPLL-based SAT solver in Ada, release 25


To generate a diff of this commit:
cvs rdiff -u -r1.628 -r1.629 pkgsrc/math/Makefile
cvs rdiff -u -r0 -r1.1 pkgsrc/math/ada-adasat-25/DESCR \
    pkgsrc/math/ada-adasat-25/Makefile pkgsrc/math/ada-adasat-25/PLIST \
    pkgsrc/math/ada-adasat-25/buildlink3.mk \
    pkgsrc/math/ada-adasat-25/distinfo
cvs rdiff -u -r0 -r1.1 pkgsrc/math/ada-adasat-25/patches/patch-Makefile

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

Modified files:

Index: pkgsrc/math/Makefile
diff -u pkgsrc/math/Makefile:1.628 pkgsrc/math/Makefile:1.629
--- pkgsrc/math/Makefile:1.628  Thu Jul 10 14:03:14 2025
+++ pkgsrc/math/Makefile        Thu Jul 10 15:47:58 2025
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.628 2025/07/10 14:03:14 dkazankov Exp $
+# $NetBSD: Makefile,v 1.629 2025/07/10 15:47:58 dkazankov Exp $
 
 COMMENT=       Mathematics
 
@@ -151,6 +151,7 @@ SUBDIR+=    TinySVM
 SUBDIR+=       aamath
 SUBDIR+=       abs
 SUBDIR+=       ada-adasat-24
+SUBDIR+=       ada-adasat-25
 SUBDIR+=       admesh
 SUBDIR+=       algae
 SUBDIR+=       amath

Added files:

Index: pkgsrc/math/ada-adasat-25/DESCR
diff -u /dev/null pkgsrc/math/ada-adasat-25/DESCR:1.1
--- /dev/null   Thu Jul 10 15:47:58 2025
+++ pkgsrc/math/ada-adasat-25/DESCR     Thu Jul 10 15:47:58 2025
@@ -0,0 +1,7 @@
+Implementation of a DPLL-based SAT solver in Ada
+
+Main features:
+- Conflict analysis and backjumping
+- Two-watched literals scheme
+- Built-in support for At-Most-One constraints
+- Custom theories
Index: pkgsrc/math/ada-adasat-25/Makefile
diff -u /dev/null pkgsrc/math/ada-adasat-25/Makefile:1.1
--- /dev/null   Thu Jul 10 15:47:58 2025
+++ pkgsrc/math/ada-adasat-25/Makefile  Thu Jul 10 15:47:58 2025
@@ -0,0 +1,51 @@
+# $NetBSD: Makefile,v 1.1 2025/07/10 15:47:58 dkazankov Exp $
+
+DISTNAME=      ${GITHUB_PROJECT}-${PKGVERSION_NOREV}
+PKGNAME=       adasat-${GNAT_NAME}-25.0.0
+CATEGORIES=    math devel
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=AdaCore/}
+GITHUB_PROJECT=        AdaSAT
+GITHUB_TAG=    v${PKGVERSION_NOREV}
+
+MAINTAINER=    dkazankov%NetBSD.org@localhost
+HOMEPAGE=      https://github.com/AdaCore/AdaSAT
+COMMENT=       Implementation of a DPLL-based SAT solver in Ada, release 25
+LICENSE=       apache-2.0
+
+USE_TOOLS+=    gmake
+
+USE_LANGUAGES= ada
+
+USE_GCC_RUNTIME=       yes
+
+.include "../../mk/bsd.prefs.mk"
+
+GCC_REQD+=     14
+
+PLIST_VARS+=                   shlibs
+
+USE_PKGSRC_GCC_RUNTIME?=       no
+.if ${USE_PKGSRC_GCC_RUNTIME:tl} == "yes"
+PLIST.shlibs=                  yes
+BUILD_TARGET=                  all-libs
+INSTALL_TARGET=                        install
+.else
+BUILD_TARGET=                  lib
+INSTALL_TARGET=                        install-lib
+LIBRARY_TYPE=                  static
+MAKE_FLAGS+=                   LIBRARY_TYPE=${LIBRARY_TYPE}
+INSTALL_MAKE_FLAGS+=           LIBRARY_TYPE=${LIBRARY_TYPE}
+.endif
+
+MAKE_FLAGS+=                   BUILD_MODE=prod
+INSTALL_MAKE_FLAGS+=           INSTALL_DIR=${DESTDIR}${GNAT_PREFIX}
+
+GENERATE_PLIST+= \
+       cd ${DESTDIR}${PREFIX} && \
+       ${FIND} ${GNAT_PKGBASE} \( -type f -or -type l \) -print | ${SORT};
+
+PRINT_PLIST_AWK+=      /\.relocatable\/|\.static-pic\/|lib\/.*\.so.*/ { $$0 = "$${PLIST.shlibs}" $$0 }
+
+.include "../../devel/gprbuild/buildlink3.mk"
+
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/math/ada-adasat-25/PLIST
diff -u /dev/null pkgsrc/math/ada-adasat-25/PLIST:1.1
--- /dev/null   Thu Jul 10 15:47:58 2025
+++ pkgsrc/math/ada-adasat-25/PLIST     Thu Jul 10 15:47:58 2025
@@ -0,0 +1,82 @@
+@comment $NetBSD: PLIST,v 1.1 2025/07/10 15:47:58 dkazankov Exp $
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-builders.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-builders.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-decisions.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-decisions.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-dpll.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-dpll.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-formulas.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-formulas.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-helpers.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-helpers.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-internals.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-theory.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-vectors.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat-vectors.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.relocatable/adasat.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-builders.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-builders.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-decisions.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-decisions.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-dpll.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-dpll.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-formulas.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-formulas.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-helpers.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-helpers.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-internals.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-theory.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-vectors.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat-vectors.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat.adb
+${PLIST.shlibs}${GNAT_PKGBASE}/include/adasat.static-pic/adasat.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-builders.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-builders.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-decisions.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-decisions.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-dpll.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-dpll.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-formulas.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-formulas.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-helpers.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-helpers.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-internals.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-theory.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat-vectors.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat-vectors.ads
+${GNAT_PKGBASE}/include/adasat.static/adasat.adb
+${GNAT_PKGBASE}/include/adasat.static/adasat.ads
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-builders.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-decisions.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-dpll.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-formulas.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-helpers.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-internals.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-theory.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat-vectors.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/adasat.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.relocatable/libadasat.so
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-builders.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-decisions.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-dpll.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-formulas.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-helpers.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-internals.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-theory.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat-vectors.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/adasat.ali
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/adasat.static-pic/libadasat.a
+${GNAT_PKGBASE}/lib/adasat.static/adasat-builders.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-decisions.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-dpll.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-formulas.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-helpers.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-internals.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-theory.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat-vectors.ali
+${GNAT_PKGBASE}/lib/adasat.static/adasat.ali
+${GNAT_PKGBASE}/lib/adasat.static/libadasat.a
+${PLIST.shlibs}${GNAT_PKGBASE}/lib/libadasat.so
+${GNAT_PKGBASE}/share/gpr/adasat.gpr
+${GNAT_PKGBASE}/share/gpr/manifests/adasat
Index: pkgsrc/math/ada-adasat-25/buildlink3.mk
diff -u /dev/null pkgsrc/math/ada-adasat-25/buildlink3.mk:1.1
--- /dev/null   Thu Jul 10 15:47:58 2025
+++ pkgsrc/math/ada-adasat-25/buildlink3.mk     Thu Jul 10 15:47:58 2025
@@ -0,0 +1,20 @@
+# $NetBSD: buildlink3.mk,v 1.1 2025/07/10 15:47:58 dkazankov Exp $
+
+BUILDLINK_TREE+=       adasat-25
+
+.if !defined(ADASAT_25_BUILDLINK3_MK)
+ADASAT_25_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.adasat-25+=      adasat-${GNAT_NAME}>=25.0.0
+BUILDLINK_PKGSRCDIR.adasat-25?=                ../../math/ada-adasat-25
+BUILDLINK_DEPMETHOD.adasat-25?=                build
+
+BUILDLINK_CONTENTS_FILTER.adasat-25=   \
+       ${EGREP} "${GNAT_PKGBASE}/include/.*$$|${GNAT_PKGBASE}/lib/.*$$|${GNAT_PKGBASE}/share/gpr/.*$$"
+
+BUILDLINK_FNAME_TRANSFORM.adasat-25+=  \
+       -e "s|${BUILDLINK_DIR}/${GNAT_PKGBASE}/|${BUILDLINK_DIR}/|g"
+
+.endif
+
+BUILDLINK_TREE+=       -adasat-25
Index: pkgsrc/math/ada-adasat-25/distinfo
diff -u /dev/null pkgsrc/math/ada-adasat-25/distinfo:1.1
--- /dev/null   Thu Jul 10 15:47:58 2025
+++ pkgsrc/math/ada-adasat-25/distinfo  Thu Jul 10 15:47:58 2025
@@ -0,0 +1,6 @@
+$NetBSD: distinfo,v 1.1 2025/07/10 15:47:58 dkazankov Exp $
+
+BLAKE2s (AdaSAT-25.0.0.tar.gz) = 82395941685f2006742a211de0129b62097c90c87a47a93da9adbf1ca951f55a
+SHA512 (AdaSAT-25.0.0.tar.gz) = 7781a683c5aef9efa9a6b57e82070184c02d734fcf448aa5aa79d9aaa3b40d181d87d7487d9c204f7dcd584a3d2dc1c9ebc027e82b2532c3418c25a2395fd9af
+Size (AdaSAT-25.0.0.tar.gz) = 30707 bytes
+SHA1 (patch-Makefile) = c3f9108306b7d1812d5fbf8a1663ea75d92d1987

Index: pkgsrc/math/ada-adasat-25/patches/patch-Makefile
diff -u /dev/null pkgsrc/math/ada-adasat-25/patches/patch-Makefile:1.1
--- /dev/null   Thu Jul 10 15:47:58 2025
+++ pkgsrc/math/ada-adasat-25/patches/patch-Makefile    Thu Jul 10 15:47:58 2025
@@ -0,0 +1,57 @@
+$NetBSD: patch-Makefile,v 1.1 2025/07/10 15:47:58 dkazankov Exp $
+
+Add gprbuild and gprinstall options
+Make install target for a library
+
+--- Makefile.orig      2024-01-03 19:00:52.000000000 +0200
++++ Makefile
+@@ -4,6 +4,9 @@
+ BUILD_DIR ?= .
+ INSTALL_DIR ?= .
+ 
++GPRBUILD_OPTIONS ?= -p -j$(PROCESSORS)
++GPRINSTALL_OPTIONS ?= 
++
+ ALL_LIBRARY_TYPES = static static-pic relocatable
+ 
+ .PHONY: lib
+@@ -11,17 +14,29 @@
+       gprbuild -k -P adasat.gpr -p -j$(PROCESSORS) \
+               --relocate-build-tree="$(BUILD_DIR)" \
+               -XLIBRARY_TYPE=$(LIBRARY_TYPE) \
+-              -XBUILD_MODE=$(BUILD_MODE)
++              -XBUILD_MODE=$(BUILD_MODE) \
++              $(GPRBUILD_OPTIONS)
+ 
+ .PHONY: all-libs
+ all-libs:
+       for kind in $(ALL_LIBRARY_TYPES) ; do \
+-              gprbuild -k -P adasat.gpr -p -j$(PROCESSORS) \
++              gprbuild -k -P adasat.gpr $(GPRBUILD_OPTIONS) \
+                       --relocate-build-tree="$(BUILD_DIR)" \
+                       -XLIBRARY_TYPE=$$kind \
+                       -XBUILD_MODE=$(BUILD_MODE) ; \
+       done
+ 
++.PHONY: install-lib
++install-lib:
++      gprinstall -P adasat.gpr -p -f \
++              -XLIBRARY_TYPE=$(LIBRARY_TYPE) \
++              -XBUILD_MODE=$(BUILD_MODE) \
++              --relocate-build-tree="$(BUILD_DIR)" \
++              --prefix="$(INSTALL_DIR)" \
++              --build-name=$(LIBRARY_TYPE) \
++              --build-var=LIBRARY_TYPE ; \
++              $(GPRINSTALL_OPTIONS) \
++
+ .PHONY: install
+ install:
+       for kind in $(ALL_LIBRARY_TYPES) ; do \
+@@ -32,6 +47,7 @@
+                       --prefix="$(INSTALL_DIR)" \
+                       --build-name=$$kind \
+                       --build-var=LIBRARY_TYPE ; \
++                      $(GPRINSTALL_OPTIONS) \
+       done
+ 
+ .PHONY: test

Prev by Date: CVS commit: pkgsrc/devel/ada-gnatcoll-core-24
Next by Date: CVS commit: pkgsrc/doc
Previous by Thread: CVS commit: pkgsrc/devel/ada-gnatcoll-core-24
Next by Thread: CVS commit: pkgsrc/doc
Indexes:

Home | Main Index | Thread Index | Old Index