Initial commit of mpfi-1.5.1.
MPFI (Multiple Precision Floating-Point Interval Library) is a library 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 to benefit from the correct roundings provided by MPFR, it portability, and its compliance with the IEEE 754 standard for floating-point arithmetic.
This commit is contained in:
parent
da555f4b00
commit
dc5bdab1e9
5 changed files with 55 additions and 0 deletions
10
mpfi/DESCR
Normal file
10
mpfi/DESCR
Normal file
|
@ -0,0 +1,10 @@
|
|||
MPFI (Multiple Precision Floating-Point Interval Library) is a library
|
||||
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 to benefit from the correct roundings
|
||||
provided by MPFR, it portability, and its compliance with the IEEE 754
|
||||
standard for floating-point arithmetic.
|
20
mpfi/Makefile
Normal file
20
mpfi/Makefile
Normal file
|
@ -0,0 +1,20 @@
|
|||
# $NetBSD: Makefile,v 1.3 2015/05/20 22:00:46 alnsn Exp $
|
||||
|
||||
DISTNAME= mpfi-1.5.1
|
||||
CATEGORIES= math
|
||||
MASTER_SITES= https://gforge.inria.fr/frs/download.php/file/30130/
|
||||
|
||||
MAINTAINER= alnsn@NetBSD.org
|
||||
HOMEPAGE= https://gforge.inria.fr/frs/download.php/file/30130/
|
||||
COMMENT= TODO: Short description of the package
|
||||
LICENSE= gnu-gpl-v2
|
||||
|
||||
GNU_CONFIGURE= yes
|
||||
USE_LIBTOOL= yes
|
||||
INFO_FILES= yes
|
||||
|
||||
CONFIGURE_ARGS+= --infodir=${PREFIX}/${PKGINFODIR}
|
||||
INSTALLATION_DIRS+= ${PKGINFODIR}
|
||||
|
||||
.include "../../math/mpfr/buildlink3.mk"
|
||||
.include "../../mk/bsd.pkg.mk"
|
5
mpfi/PLIST
Normal file
5
mpfi/PLIST
Normal file
|
@ -0,0 +1,5 @@
|
|||
@comment $NetBSD: PLIST,v 1.3 2015/05/20 22:00:46 alnsn Exp $
|
||||
include/mpfi.h
|
||||
include/mpfi_io.h
|
||||
info/mpfi.info
|
||||
lib/libmpfi.la
|
15
mpfi/buildlink3.mk
Normal file
15
mpfi/buildlink3.mk
Normal file
|
@ -0,0 +1,15 @@
|
|||
# $NetBSD: buildlink3.mk,v 1.3 2015/05/20 22:00:46 alnsn Exp $
|
||||
|
||||
BUILDLINK_TREE+= mpfi
|
||||
|
||||
.if !defined(MPFI_BUILDLINK3_MK)
|
||||
MPFI_BUILDLINK3_MK:=
|
||||
|
||||
BUILDLINK_API_DEPENDS.mpfi+= mpfi>=1.5.1
|
||||
BUILDLINK_ABI_DEPENDS.mpfi+= mpfi>=1.5.1
|
||||
BUILDLINK_PKGSRCDIR.mpfi?= ../../wip/mpfi
|
||||
|
||||
.include "../../math/mpfr/buildlink3.mk"
|
||||
.endif # MPFI_BUILDLINK3_MK
|
||||
|
||||
BUILDLINK_TREE+= -mpfi
|
5
mpfi/distinfo
Normal file
5
mpfi/distinfo
Normal file
|
@ -0,0 +1,5 @@
|
|||
$NetBSD: distinfo,v 1.3 2015/05/20 22:00:46 alnsn Exp $
|
||||
|
||||
SHA1 (mpfi-1.5.1.tar.gz) = 288302c0cdefe823cc3aa71de31c1da82eeb6ad0
|
||||
RMD160 (mpfi-1.5.1.tar.gz) = ec102d1a83e46edd2a43b431928abb692896ac70
|
||||
Size (mpfi-1.5.1.tar.gz) = 520274 bytes
|
Loading…
Reference in a new issue