svn commit: r475052 - in head/math: . libpoly

[Yuri Victorovich]

Author: yuri
Date: Sat Jul 21 08:30:08 2018
New Revision: 475052
URL: https://svnweb.freebsd.org/changeset/ports/475052

Log:
  New port: math/libpoly: C library for manipulating polynomial

Added:
  head/math/libpoly/
  head/math/libpoly/Makefile   (contents, props changed)
  head/math/libpoly/distinfo   (contents, props changed)
  head/math/libpoly/pkg-descr   (contents, props changed)
  head/math/libpoly/pkg-plist   (contents, props changed)
Modified:
  head/math/Makefile

Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile	Sat Jul 21 08:11:46 2018	(r475051)
+++ head/math/Makefile	Sat Jul 21 08:30:08 2018	(r475052)
@@ -306,6 +306,7 @@
     SUBDIR += libmissing
     SUBDIR += libocas
     SUBDIR += liborigin
+    SUBDIR += libpoly
     SUBDIR += libqalculate
     SUBDIR += libranlip
     SUBDIR += librsb

Added: head/math/libpoly/Makefile
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/libpoly/Makefile	Sat Jul 21 08:30:08 2018	(r475052)
@@ -0,0 +1,23 @@
+# $FreeBSD$
+
+PORTNAME=	libpoly
+DISTVERSIONPREFIX=	v
+DISTVERSION=	0.1.7
+CATEGORIES=	math
+
+MAINTAINER=	yuri at FreeBSD.org
+COMMENT=	C library for manipulating polynomials
+
+LICENSE=	GPLv3
+LICENSE_FILE=	${WRKSRC}/LICENCE
+
+LIB_DEPENDS=	libgmp.so:math/gmp
+
+USES=		cmake:outsource
+USE_GITHUB=	yes
+GH_ACCOUNT=	SRI-CSL
+USE_LDCONFIG=	yes
+
+CMAKE_OFF=	LIBPOLY_BUILD_PYTHON_API LIBPOLY_BUILD_STATIC LIBPOLY_BUILD_STATIC_PIC
+
+.include <bsd.port.mk>

Added: head/math/libpoly/distinfo
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/libpoly/distinfo	Sat Jul 21 08:30:08 2018	(r475052)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1532161301
+SHA256 (SRI-CSL-libpoly-v0.1.7_GH0.tar.gz) = 71d08cc1e97219bde8a0af60dd436ce4266dc3f19ff3a2cabc640bd14f4d8f4d
+SIZE (SRI-CSL-libpoly-v0.1.7_GH0.tar.gz) = 491593

Added: head/math/libpoly/pkg-descr
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/libpoly/pkg-descr	Sat Jul 21 08:30:08 2018	(r475052)
@@ -0,0 +1,6 @@
+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.
+
+WWW: https://github.com/SRI-CSL/libpoly

Added: head/math/libpoly/pkg-plist
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/libpoly/pkg-plist	Sat Jul 21 08:30:08 2018	(r475052)
@@ -0,0 +1,27 @@
+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/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_vector.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/libpoly.so
+lib/libpoly.so.0
+lib/libpoly.so.0.1.7