Compare commits
No commits in common. "master" and "factory" have entirely different histories.
@ -1,60 +0,0 @@
|
|||||||
From a02e3f9cc10767cc4284a2ef6554f6df85e41982 Mon Sep 17 00:00:00 2001
|
|
||||||
From: REVOL Nathalie <nathalie.revol@inria.fr>
|
|
||||||
Date: Sat, 19 Mar 2022 18:09:45 +0100
|
|
||||||
Subject: [PATCH] incorret types: corrected
|
|
||||||
|
|
||||||
---
|
|
||||||
mpfi/src/div_ext.c | 16 ++++++++--------
|
|
||||||
1 file changed, 8 insertions(+), 8 deletions(-)
|
|
||||||
|
|
||||||
diff --git a/mpfi/src/div_ext.c b/mpfi/src/div_ext.c
|
|
||||||
index 30cd3db..f1e5c2d 100644
|
|
||||||
--- a/src/div_ext.c
|
|
||||||
+++ b/src/div_ext.c
|
|
||||||
@@ -59,17 +59,17 @@ mpfi_div_ext (mpfi_ptr res1, mpfi_ptr res2, mpfi_srcptr op1, mpfi_srcptr op2)
|
|
||||||
mpfr_init2 (tmp1, mpfi_get_prec(res1));
|
|
||||||
mpfr_init2 (tmp2, mpfi_get_prec(res2));
|
|
||||||
if ( mpfr_number_p (&(op2->left)) ) {
|
|
||||||
- tmp = mpfr_div (&(tmp2), &(op1->right), &(op2->left), MPFI_RNDD);
|
|
||||||
+ tmp = mpfr_div (tmp2, &(op1->right), &(op2->left), MPFI_RNDD);
|
|
||||||
}
|
|
||||||
else { /* denominator has infinite left endpoint */
|
|
||||||
- mpfr_set_zero (&(tmp2), 1);
|
|
||||||
+ mpfr_set_zero (tmp2, 1);
|
|
||||||
}
|
|
||||||
|
|
||||||
if ( mpfr_number_p (&(op2->right)) ) {
|
|
||||||
- tmp = mpfr_div ( &(tmp1), &(op1->right), &(op2->right), MPFI_RNDU);
|
|
||||||
+ tmp = mpfr_div ( tmp1, &(op1->right), &(op2->right), MPFI_RNDU);
|
|
||||||
}
|
|
||||||
else { /* denominator has infinite right endpoint */
|
|
||||||
- mpfr_set_zero( &(tmp1), -1);
|
|
||||||
+ mpfr_set_zero( tmp1, -1);
|
|
||||||
}
|
|
||||||
|
|
||||||
mpfr_set_inf (&(res1->left), -1);
|
|
||||||
@@ -86,17 +86,17 @@ mpfi_div_ext (mpfi_ptr res1, mpfi_ptr res2, mpfi_srcptr op1, mpfi_srcptr op2)
|
|
||||||
mpfr_init2 (tmp1, mpfi_get_prec(res1));
|
|
||||||
mpfr_init2 (tmp2, mpfi_get_prec(res2));
|
|
||||||
if ( mpfr_number_p (&(op2->left)) ) {
|
|
||||||
- tmp = mpfr_div (&(tmp1), &(op1->left), &(op2->left), MPFI_RNDU);
|
|
||||||
+ tmp = mpfr_div (tmp1, &(op1->left), &(op2->left), MPFI_RNDU);
|
|
||||||
}
|
|
||||||
else { /* denominator has infinite left endpoint */
|
|
||||||
- mpfr_set_zero (&(tmp1), -1);
|
|
||||||
+ mpfr_set_zero (tmp1, -1);
|
|
||||||
}
|
|
||||||
|
|
||||||
if ( mpfr_number_p (&(op2->right)) ) {
|
|
||||||
- tmp = mpfr_div ( &(tmp2), &(op1->left), &(op2->right), MPFI_RNDD);
|
|
||||||
+ tmp = mpfr_div ( tmp2, &(op1->left), &(op2->right), MPFI_RNDD);
|
|
||||||
}
|
|
||||||
else { /* denominator has infinite right endpoint */
|
|
||||||
- mpfr_set_zero( &(tmp2), 1);
|
|
||||||
+ mpfr_set_zero( tmp2, 1);
|
|
||||||
}
|
|
||||||
mpfr_set_inf (&(res1->left), -1);
|
|
||||||
mpfr_set (&(res1->right), tmp1, MPFI_RNDU);
|
|
||||||
--
|
|
||||||
2.47.0
|
|
||||||
|
|
@ -1,8 +1,3 @@
|
|||||||
-------------------------------------------------------------------
|
|
||||||
Sat Nov 2 22:31:23 UTC 2024 - Jan Engelhardt <jengelh@inai.de>
|
|
||||||
|
|
||||||
- Add 0001-incorret-types-corrected.patch
|
|
||||||
|
|
||||||
-------------------------------------------------------------------
|
-------------------------------------------------------------------
|
||||||
Sat Aug 24 20:24:49 UTC 2019 - Jan Engelhardt <jengelh@inai.de>
|
Sat Aug 24 20:24:49 UTC 2019 - Jan Engelhardt <jengelh@inai.de>
|
||||||
|
|
||||||
|
16
mpfi.spec
16
mpfi.spec
@ -23,11 +23,11 @@ Release: 0
|
|||||||
Summary: Multi-precision floating-point interval arithmetic computation library
|
Summary: Multi-precision floating-point interval arithmetic computation library
|
||||||
License: LGPL-2.1-or-later
|
License: LGPL-2.1-or-later
|
||||||
Group: Productivity/Scientific/Math
|
Group: Productivity/Scientific/Math
|
||||||
URL: https://gitlab.inria.fr/mpfi/mpfi
|
URL: http://mpfi.gforge.inria.fr/
|
||||||
# gforge is gone and replaced by gitlab; tarballs apparently not retained
|
|
||||||
#Source: https://gforge.inria.fr/frs/download.php/file/38111/mpfi-1.5.4.tgz
|
#SVN-Clone: svn://scm.gforge.inria.fr/svnroot/mpfi/trunk
|
||||||
Source: %name-%version.tgz
|
# Download depends on the file ID, not the filename!
|
||||||
Patch1: 0001-incorret-types-corrected.patch
|
Source: https://gforge.inria.fr/frs/download.php/file/38111/mpfi-1.5.4.tgz
|
||||||
BuildRequires: autoconf
|
BuildRequires: autoconf
|
||||||
BuildRequires: automake
|
BuildRequires: automake
|
||||||
BuildRequires: gmp-devel >= 4.1.0
|
BuildRequires: gmp-devel >= 4.1.0
|
||||||
@ -77,7 +77,7 @@ This subpackage provides the development headers and libraries for it.
|
|||||||
%build
|
%build
|
||||||
./autogen.sh
|
./autogen.sh
|
||||||
%configure --disable-static
|
%configure --disable-static
|
||||||
%make_build
|
make %{?_smp_mflags}
|
||||||
|
|
||||||
%install
|
%install
|
||||||
%make_install
|
%make_install
|
||||||
@ -86,7 +86,8 @@ rm -f "%buildroot/%_libdir"/*.la
|
|||||||
%check
|
%check
|
||||||
#make check #upstream broke it in 1.5.4
|
#make check #upstream broke it in 1.5.4
|
||||||
|
|
||||||
%ldconfig_scriptlets -n %lname
|
%post -n %lname -p /sbin/ldconfig
|
||||||
|
%postun -n %lname -p /sbin/ldconfig
|
||||||
|
|
||||||
%post devel
|
%post devel
|
||||||
%install_info --info-dir="%_infodir" "%_infodir/mpfi.info.gz"
|
%install_info --info-dir="%_infodir" "%_infodir/mpfi.info.gz"
|
||||||
@ -101,6 +102,5 @@ rm -f "%buildroot/%_libdir"/*.la
|
|||||||
%_includedir/mpfi*.h
|
%_includedir/mpfi*.h
|
||||||
%_libdir/libmpfi.so
|
%_libdir/libmpfi.so
|
||||||
%_infodir/mpfi.info*
|
%_infodir/mpfi.info*
|
||||||
%license COPYING*
|
|
||||||
|
|
||||||
%changelog
|
%changelog
|
||||||
|
Loading…
Reference in New Issue
Block a user