From owner-svn-ports-head@freebsd.org Sat Jul 21 08:30:10 2018 Return-Path: Delivered-To: svn-ports-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id A08A110410B5; Sat, 21 Jul 2018 08:30:10 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4D26F81ADF; Sat, 21 Jul 2018 08:30:10 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 2A2FD1C8F8; Sat, 21 Jul 2018 08:30:10 +0000 (UTC) (envelope-from yuri@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id w6L8U9pK055290; Sat, 21 Jul 2018 08:30:09 GMT (envelope-from yuri@FreeBSD.org) Received: (from yuri@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id w6L8U94i055285; Sat, 21 Jul 2018 08:30:09 GMT (envelope-from yuri@FreeBSD.org) Message-Id: <201807210830.w6L8U94i055285@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: yuri set sender to yuri@FreeBSD.org using -f From: Yuri Victorovich Date: Sat, 21 Jul 2018 08:30:08 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r475052 - in head/math: . libpoly X-SVN-Group: ports-head X-SVN-Commit-Author: yuri X-SVN-Commit-Paths: in head/math: . libpoly X-SVN-Commit-Revision: 475052 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.27 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 21 Jul 2018 08:30:10 -0000 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 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