Date: Sat, 21 Jul 2018 08:30:08 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r475052 - in head/math: . libpoly Message-ID: <201807210830.w6L8U94i055285@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201807210830.w6L8U94i055285>