diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-21 08:30:08 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-21 08:30:08 +0000 |
| commit | efef86bbbc73903d0604f5da2a6721f2591c0292 (patch) | |
| tree | acd5a0b2a83488ace6b3ea49d82a5fa29cd9d755 | |
| parent | New port: math/yices: SMT solver (diff) | |
New port: math/libpoly: C library for manipulating polynomial
| -rw-r--r-- | math/Makefile | 1 | ||||
| -rw-r--r-- | math/libpoly/Makefile | 23 | ||||
| -rw-r--r-- | math/libpoly/distinfo | 3 | ||||
| -rw-r--r-- | math/libpoly/pkg-descr | 6 | ||||
| -rw-r--r-- | math/libpoly/pkg-plist | 27 |
5 files changed, 60 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index b0c31441b544..3c44f7817374 100644 --- a/math/Makefile +++ b/math/Makefile @@ -306,6 +306,7 @@ SUBDIR += libmissing SUBDIR += libocas SUBDIR += liborigin + SUBDIR += libpoly SUBDIR += libqalculate SUBDIR += libranlip SUBDIR += librsb diff --git a/math/libpoly/Makefile b/math/libpoly/Makefile new file mode 100644 index 000000000000..7e4f6f75a8b7 --- /dev/null +++ b/math/libpoly/Makefile @@ -0,0 +1,23 @@ +# $FreeBSD$ + +PORTNAME= libpoly +DISTVERSIONPREFIX= v +DISTVERSION= 0.1.7 +CATEGORIES= math + +MAINTAINER= yuri@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> diff --git a/math/libpoly/distinfo b/math/libpoly/distinfo new file mode 100644 index 000000000000..cd92de46a234 --- /dev/null +++ b/math/libpoly/distinfo @@ -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 diff --git a/math/libpoly/pkg-descr b/math/libpoly/pkg-descr new file mode 100644 index 000000000000..da39d91bb36f --- /dev/null +++ b/math/libpoly/pkg-descr @@ -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 diff --git a/math/libpoly/pkg-plist b/math/libpoly/pkg-plist new file mode 100644 index 000000000000..43c70d370294 --- /dev/null +++ b/math/libpoly/pkg-plist @@ -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 |