0001-incorret-types-corrected.patch

@@ -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
-

mpfi.changes

@@ -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>
 

mpfi.spec

@@ -23,11 +23,11 @@ Release:        0
 Summary:        Multi-precision floating-point interval arithmetic computation library
 License:        LGPL-2.1-or-later
 Group:          Productivity/Scientific/Math
-URL:            https://gitlab.inria.fr/mpfi/mpfi
-# 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
-Source:         %name-%version.tgz
-Patch1:         0001-incorret-types-corrected.patch
+URL:            http://mpfi.gforge.inria.fr/
+
+#SVN-Clone:	svn://scm.gforge.inria.fr/svnroot/mpfi/trunk
+# Download depends on the file ID, not the filename!
+Source:         https://gforge.inria.fr/frs/download.php/file/38111/mpfi-1.5.4.tgz
 BuildRequires:  autoconf
 BuildRequires:  automake
 BuildRequires:  gmp-devel >= 4.1.0
@@ -77,7 +77,7 @@ This subpackage provides the development headers and libraries for it.
 %build
 ./autogen.sh
 %configure --disable-static
-%make_build
+make %{?_smp_mflags}
 
 %install
 %make_install
@@ -86,7 +86,8 @@ rm -f "%buildroot/%_libdir"/*.la
 %check
 #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
 %install_info --info-dir="%_infodir" "%_infodir/mpfi.info.gz"
@@ -101,6 +102,5 @@ rm -f "%buildroot/%_libdir"/*.la
 %_includedir/mpfi*.h
 %_libdir/libmpfi.so
 %_infodir/mpfi.info*
-%license COPYING*
 
 %changelog