[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
01/02: gnu: Add mpfi.
From: |
Mathieu Lirzin |
Subject: |
01/02: gnu: Add mpfi. |
Date: |
Wed, 13 Apr 2016 17:53:41 +0000 |
mthl pushed a commit to branch master
in repository guix.
commit 61bb355532f2612ee99d0d9438dbea5ad4ec1f4d
Author: Nicolas Goaziou <address@hidden>
Date: Sun Apr 10 13:53:42 2016 +0200
gnu: Add mpfi.
* gnu/packages/multiprecision.scm (mpfi): New variable.
Signed-off-by: Mathieu Lirzin <address@hidden>
---
gnu/packages/multiprecision.scm | 26 ++++++++++++++++++++++++++
1 files changed, 26 insertions(+), 0 deletions(-)
diff --git a/gnu/packages/multiprecision.scm b/gnu/packages/multiprecision.scm
index ad50770..d97bf9b 100644
--- a/gnu/packages/multiprecision.scm
+++ b/gnu/packages/multiprecision.scm
@@ -2,6 +2,7 @@
;;; Copyright © 2012, 2013, 2015 Ludovic Courtès <address@hidden>
;;; Copyright © 2014 Mark H Weaver <address@hidden>
;;; Copyright © 2015 Andreas Enge <address@hidden>
+;;; Copyright © 2016 Nicolas Goaziou <address@hidden>
;;;
;;; This file is part of GNU Guix.
;;;
@@ -119,3 +120,28 @@ floating-point computations with correct rounding.")
It supports arbitrarily high precision and it correctly rounds the results.")
(license lgpl3+)
(home-page "http://mpc.multiprecision.org/")))
+
+(define-public mpfi
+ (package
+ (name "mpfi")
+ (version "1.5.1")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://gforge.inria.fr/frs/download.php/"
+ "file/30130/mpfi-" version ".tar.gz"))
+ (sha256
+ (base32
+ "1g2q6i7dqx40p4gw11da6jgfcbzmm26wxc69fwv8zpcdyg32a9za"))))
+ (build-system gnu-build-system)
+ (propagated-inputs `(("gmp" ,gmp) ; <mpfi.h> refers to both
+ ("mpfr" ,mpfr)))
+ (synopsis "C library for arbitrary precision interval arithmetic")
+ (description "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.")
+ (license lgpl2.1+)
+ (home-page "https://perso.ens-lyon.fr/nathalie.revol/software.html")))