CVS commit: pkgsrc/math/libpoly

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

Module Name:    pkgsrc
Committed By:   alnsn
Date:           Thu Jul  2 22:34:07 UTC 2026

Added Files:
        pkgsrc/math/libpoly: DESCR Makefile PLIST buildlink3.mk distinfo

Log Message:
Initial import of math/libpoly version 0.2.1.

SRI LibPoly is a C library for manipulating polynomials. The target
applications are symbolic reasoning engines, such as SMT solvers,
that need to reason about polynomial constraints. It is research
software under development, so the features and the API might change
rapidly.


To generate a diff of this commit:
cvs rdiff -u -r0 -r1.1 pkgsrc/math/libpoly/DESCR pkgsrc/math/libpoly/Makefile \
    pkgsrc/math/libpoly/PLIST pkgsrc/math/libpoly/buildlink3.mk \
    pkgsrc/math/libpoly/distinfo

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

Added files:

Index: pkgsrc/math/libpoly/DESCR
diff -u /dev/null pkgsrc/math/libpoly/DESCR:1.1
--- /dev/null   Thu Jul  2 22:34:07 2026
+++ pkgsrc/math/libpoly/DESCR   Thu Jul  2 22:34:07 2026
@@ -0,0 +1,5 @@
+SRI LibPoly is a C library for manipulating polynomials. The target
+applications are symbolic reasoning engines, such as SMT solvers,
+that need to reason about polynomial constraints. It is research
+software under development, so the features and the API might change
+rapidly.
Index: pkgsrc/math/libpoly/Makefile
diff -u /dev/null pkgsrc/math/libpoly/Makefile:1.1
--- /dev/null   Thu Jul  2 22:34:07 2026
+++ pkgsrc/math/libpoly/Makefile        Thu Jul  2 22:34:07 2026
@@ -0,0 +1,23 @@
+# $NetBSD: Makefile,v 1.1 2026/07/02 22:34:07 alnsn Exp $
+
+DISTNAME=      libpoly-0.2.1
+CATEGORIES=    math
+MASTER_SITES=  ${MASTER_SITE_GITHUB:=SRI-CSL/}
+GITHUB_TAG=    v${PKGVERSION_NOREV}
+
+MAINTAINER=    pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE=      https://github.com/SRI-CSL/libpoly
+COMMENT=       C library for manipulating polynomials
+LICENSE=       gnu-lgpl-v3
+
+USE_LANGUAGES=         c c++
+
+CMAKE_CONFIGURE_ARGS+= -DCMAKE_BUILD_TYPE=Release
+CMAKE_CONFIGURE_ARGS+= -DCMAKE_INSTALL_PREFIX=${PREFIX}
+
+#TEST_DEPENDS+=        ${PYPKGPREFIX}-sympy>=1.14.0:../../math/py-sympy
+
+.include "../../devel/cmake/build.mk"
+.include "../../devel/gmp/buildlink3.mk"
+.include "../../lang/python/extension.mk"
+.include "../../mk/bsd.pkg.mk"
Index: pkgsrc/math/libpoly/PLIST
diff -u /dev/null pkgsrc/math/libpoly/PLIST:1.1
--- /dev/null   Thu Jul  2 22:34:07 2026
+++ pkgsrc/math/libpoly/PLIST   Thu Jul  2 22:34:07 2026
@@ -0,0 +1,56 @@
+@comment $NetBSD: PLIST,v 1.1 2026/07/02 22:34:07 alnsn Exp $
+include/poly/algebraic_number.h
+include/poly/assignment.h
+include/poly/dyadic_interval.h
+include/poly/dyadic_rational.h
+include/poly/feasibility_set.h
+include/poly/feasibility_set_int.h
+include/poly/integer.h
+include/poly/interval.h
+include/poly/monomial.h
+include/poly/output_language.h
+include/poly/poly.h
+include/poly/polynomial.h
+include/poly/polynomial_context.h
+include/poly/polynomial_hash_set.h
+include/poly/polynomial_heap.h
+include/poly/polynomial_vector.h
+include/poly/polyxx.h
+include/poly/polyxx/algebraic_number.h
+include/poly/polyxx/assignment.h
+include/poly/polyxx/context.h
+include/poly/polyxx/dyadic_interval.h
+include/poly/polyxx/dyadic_rational.h
+include/poly/polyxx/integer.h
+include/poly/polyxx/integer_ring.h
+include/poly/polyxx/interval.h
+include/poly/polyxx/interval_assignment.h
+include/poly/polyxx/polynomial.h
+include/poly/polyxx/polynomial_utils.h
+include/poly/polyxx/rational.h
+include/poly/polyxx/rational_interval.h
+include/poly/polyxx/sign_condition.h
+include/poly/polyxx/upolynomial.h
+include/poly/polyxx/utils.h
+include/poly/polyxx/value.h
+include/poly/polyxx/variable.h
+include/poly/rational.h
+include/poly/rational_interval.h
+include/poly/sign_condition.h
+include/poly/upolynomial.h
+include/poly/upolynomial_factors.h
+include/poly/value.h
+include/poly/variable_db.h
+include/poly/variable_list.h
+include/poly/variable_order.h
+include/poly/version.h
+lib/libpicpoly.a
+lib/libpicpolyxx.a
+lib/libpoly.a
+lib/libpoly.so
+lib/libpoly.so.0
+lib/libpoly.so.${PKGVERSION}
+lib/libpolyxx.a
+lib/libpolyxx.so
+lib/libpolyxx.so.0
+lib/libpolyxx.so.${PKGVERSION}
Index: pkgsrc/math/libpoly/buildlink3.mk
diff -u /dev/null pkgsrc/math/libpoly/buildlink3.mk:1.1
--- /dev/null   Thu Jul  2 22:34:07 2026
+++ pkgsrc/math/libpoly/buildlink3.mk   Thu Jul  2 22:34:07 2026
@@ -0,0 +1,13 @@
+# $NetBSD: buildlink3.mk,v 1.1 2026/07/02 22:34:07 alnsn Exp $
+
+BUILDLINK_TREE+=       libpoly
+
+.if !defined(LIBPOLY_BUILDLINK3_MK)
+LIBPOLY_BUILDLINK3_MK:=
+
+BUILDLINK_API_DEPENDS.libpoly+=        libpoly>=0.2.1
+BUILDLINK_ABI_DEPENDS.libpoly+=        libpoly>=0.2.1
+BUILDLINK_PKGSRCDIR.libpoly?=  ../../math/libpoly
+.endif # LIBPOLY_BUILDLINK3_MK
+
+BUILDLINK_TREE+=       -libpoly
Index: pkgsrc/math/libpoly/distinfo
diff -u /dev/null pkgsrc/math/libpoly/distinfo:1.1
--- /dev/null   Thu Jul  2 22:34:07 2026
+++ pkgsrc/math/libpoly/distinfo        Thu Jul  2 22:34:07 2026
@@ -0,0 +1,5 @@
+$NetBSD: distinfo,v 1.1 2026/07/02 22:34:07 alnsn Exp $
+
+BLAKE2s (libpoly-0.2.1.tar.gz) = 79b471e2695a23989d203521f7c5dc21a3db4d203c56b571fc0e8d4a66e71b5e
+SHA512 (libpoly-0.2.1.tar.gz) = f12a7eab7ece2b2cb123ac232e815eaaad6ff97d9219e0ef3a4785c036ef4fc887a854e4a405e3802b6b337f6616cb0177f715880dcba5473372d91754384d8b
+Size (libpoly-0.2.1.tar.gz) = 629599 bytes