head	1.1;
access;
symbols
	pkgsrc-2026Q3:1.1.0.2
	pkgsrc-2026Q3-base:1.1;
locks; strict;
comment	@# @;


1.1
date	2026.07.02.22.34.07;	author alnsn;	state Exp;
branches;
next	;
commitid	dIjARsQjt4eQa8MG;


desc
@@


1.1
log
@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.
@
text
@# $NetBSD$

DISTNAME=	libpoly-0.2.1
CATEGORIES=	math
MASTER_SITES=	${MASTER_SITE_GITHUB:=SRI-CSL/}
GITHUB_TAG=	v${PKGVERSION_NOREV}

MAINTAINER=	pkgsrc-users@@NetBSD.org
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"
@