Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!

Bug 703114

Summary: =sci-libs/mpfi-1.5.3: stabilization
Product: Gentoo Linux Reporter: Michael Orlitzky <mjo>
Component: StabilizationAssignee: Gentoo Science Mathematics related packages <sci-mathematics>
Status: RESOLVED FIXED    
Severity: normal Keywords: STABLEREQ
Priority: Normal Flags: stable-bot: sanity-check+
Version: unspecified   
Hardware: All   
OS: Linux   
Whiteboard:
Package list:
sci-libs/mpfi-1.5.3
Runtime testing required: ---
Bug Depends on:    
Bug Blocks: 656140    

Description Michael Orlitzky gentoo-dev 2019-12-16 14:58:15 UTC
I've had an annoying @preserved-rebuild failure for a while now:

  !!! existing preserved libs:
  >>> package: dev-libs/mpfr-4.0.2
   *  - /usr/lib64/libmpfr.so.4
   *  - /usr/lib64/libmpfr.so.4.1.6
   *      used by /usr/lib64/libmpfi.so.0.0.0 (sci-libs/mpfi-1.5.1)

It's stuck with me since rebuilding sci-libs/mpfi fails:

  $ sudo emerge @preserved-rebuild
  ...
  /var/tmp/portage/sci-libs/mpfi-1.5.1/work/mpfi-1.5.1/src/add_d.c:29:25:
  error: unknown type name 'mpfi_srcptr'; did you mean 'mpfr_srcptr'?

I finally set out to troubleshoot this today, and... there's an easy fix. The unstable version sci-libs/mpfi-1.5.3 builds fine. So, I'm suggesting we stabilize it because it looks like the stabilization of dev-libs/mpfr-4.0.2 is what killed it:

  https://gforge.inria.fr/frs/?view=shownotes&group_id=157&release_id=10420
Comment 1 Michael Orlitzky gentoo-dev 2019-12-31 16:49:34 UTC
Since the current stable version doesn't even build, I think it's safe enough to move forward with this...
Comment 2 Andreas Sturmlechner gentoo-dev 2020-01-01 10:44:59 UTC
Yes please.
Comment 3 Agostino Sarubbo gentoo-dev 2020-01-01 14:05:06 UTC
x86 stable
Comment 4 Agostino Sarubbo gentoo-dev 2020-01-01 14:17:25 UTC
amd64 stable. Closing.