From owner-svn-ports-all@freebsd.org Thu Apr 2 16:11:23 2020 Return-Path: Delivered-To: svn-ports-all@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id B084E2AA480; Thu, 2 Apr 2020 16:11:23 +0000 (UTC) (envelope-from thierry@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 48tSjj4T4Kz3K2r; Thu, 2 Apr 2020 16:11:21 +0000 (UTC) (envelope-from thierry@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 AD1251BD08; Thu, 2 Apr 2020 16:10:47 +0000 (UTC) (envelope-from thierry@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id 032GAlqq096270; Thu, 2 Apr 2020 16:10:47 GMT (envelope-from thierry@FreeBSD.org) Received: (from thierry@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id 032GAkTb096261; Thu, 2 Apr 2020 16:10:46 GMT (envelope-from thierry@FreeBSD.org) Message-Id: <202004021610.032GAkTb096261@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: thierry set sender to thierry@FreeBSD.org using -f From: Thierry Thomas Date: Thu, 2 Apr 2020 16:10:46 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r530383 - in head/math: . mpfi mpfi/files X-SVN-Group: ports-head X-SVN-Commit-Author: thierry X-SVN-Commit-Paths: in head/math: . mpfi mpfi/files X-SVN-Commit-Revision: 530383 X-SVN-Commit-Repository: ports MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 02 Apr 2020 16:11:23 -0000 Author: thierry Date: Thu Apr 2 16:10:45 2020 New Revision: 530383 URL: https://svnweb.freebsd.org/changeset/ports/530383 Log: Adding MPFI, a Multiple Precision Floating-point Interval library. To be used by SageMath. Added: head/math/mpfi/ head/math/mpfi/Makefile (contents, props changed) head/math/mpfi/distinfo (contents, props changed) head/math/mpfi/files/ head/math/mpfi/files/patch-tests_mpfi-tests.h (contents, props changed) head/math/mpfi/pkg-descr (contents, props changed) head/math/mpfi/pkg-plist (contents, props changed) Modified: head/math/Makefile Modified: head/math/Makefile ============================================================================== --- head/math/Makefile Thu Apr 2 15:53:11 2020 (r530382) +++ head/math/Makefile Thu Apr 2 16:10:45 2020 (r530383) @@ -399,6 +399,7 @@ SUBDIR += moo SUBDIR += mpc SUBDIR += mpexpr + SUBDIR += mpfi SUBDIR += mpfr SUBDIR += mpfrc++ SUBDIR += mpir Added: head/math/mpfi/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/mpfi/Makefile Thu Apr 2 16:10:45 2020 (r530383) @@ -0,0 +1,26 @@ +# Created by: thierry@pompo.net +# $FreeBSD$ + +PORTNAME= mpfi +PORTVERSION= 1.5.4 +CATEGORIES= math +MASTER_SITES= https://gforge.inria.fr/frs/download.php/file/38111/ + +MAINTAINER= thierry@FreeBSD.org +COMMENT= Multiple Precision Floating-point Interval library + +LICENSE= LGPL3 GPLv3 +LICENSE_COMB= dual + +BUILD_DEPENDS= makeinfo:print/texinfo +LIB_DEPENDS= libgmp.so:math/gmp \ + libmpfr.so:math/mpfr + +USES= autoreconf libtool localbase + +INFO= ${PORTNAME} + +GNU_CONFIGURE= yes +USE_LDCONFIG= yes + +.include Added: head/math/mpfi/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/mpfi/distinfo Thu Apr 2 16:10:45 2020 (r530383) @@ -0,0 +1,3 @@ +TIMESTAMP = 1585759151 +SHA256 (mpfi-1.5.4.tar.gz) = 3b3938595d720af17973deaf727cfc0dd41c8b16c20adc103a970f4a43ae3a56 +SIZE (mpfi-1.5.4.tar.gz) = 261696 Added: head/math/mpfi/files/patch-tests_mpfi-tests.h ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/mpfi/files/patch-tests_mpfi-tests.h Thu Apr 2 16:10:45 2020 (r530383) @@ -0,0 +1,10 @@ +--- tests/mpfi-tests.h.orig 2019-08-01 20:07:19 UTC ++++ tests/mpfi-tests.h +@@ -27,6 +27,7 @@ MA 02110-1301, USA. */ + #ifndef __MPFI_TESTS_H__ + #define __MPFI_TESTS_H__ + ++#include + #include + + #include "mpfi_io.h" Added: head/math/mpfi/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/mpfi/pkg-descr Thu Apr 2 16:10:45 2020 (r530383) @@ -0,0 +1,17 @@ +MPFI is a library for interval arithmetic, which is built upon the MPFR +multiple precision floating-point arithmetic. + +MPFI is intended to be a portable library written in C for arbitrary +precision interval arithmetic with intervals represented using MPFR +reliable floating-point numbers. It is based on the GNU MP library and +on the MPFR library. The purpose of an arbitrary precision interval +arithmetic is on the one hand to get "guaranteed" results, thanks to +interval computation, and on the other hand to obtain accurate results, +thanks to multiple precision arithmetic. The MPFI library is built upon +MPFR in order to benefit from the correct rounding provided, for each +operation or function, by MPFR. Further advantages of using MPFR are +its portability and compliance with the IEEE 754 standard for +floating-point arithmetic. + +WWW: http://perso.ens-lyon.fr/nathalie.revol/software.html +www: http://mpfi.gforge.inria.fr/ Added: head/math/mpfi/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/math/mpfi/pkg-plist Thu Apr 2 16:10:45 2020 (r530383) @@ -0,0 +1,6 @@ +include/mpfi.h +include/mpfi_io.h +lib/libmpfi.a +lib/libmpfi.so +lib/libmpfi.so.0 +lib/libmpfi.so.0.0.0