Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 703114 - =sci-libs/mpfi-1.5.3: stabilization
Summary: =sci-libs/mpfi-1.5.3: stabilization
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: Stabilization (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Gentoo Science Mathematics related packages
URL:
Whiteboard:
Keywords: STABLEREQ
Depends on:
Blocks: EAPI4Removal
  Show dependency tree
 
Reported: 2019-12-16 14:58 UTC by Michael Orlitzky
Modified: 2020-01-01 14:17 UTC (History)
0 users

See Also:
Package list:
sci-libs/mpfi-1.5.3
Runtime testing required: ---
stable-bot: sanity-check+

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.