Opened 5 years ago

Closed 5 years ago

Last modified 5 years ago

#21675 closed defect (fixed)

Revert the renaming libfplll -> fplll

Reported by: jdemeyer Owned by:
Priority: blocker Milestone: sage-7.4
Component: packages: standard Keywords:
Cc: tmonteil, jpflori, cpernet, malb Merged in:
Authors: Jeroen Demeyer Reviewers: Jean-Pierre Flori
Report Upstream: N/A Work issues:
Branch: 618a581 (Commits, GitHub, GitLab) Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by jdemeyer)

In #21221, the package libfplll was renamed to fplll.

When building fplll, the old libfplll from sage-7.4.beta6 and earlier is still marked as installed.

This causes downgrades sage-7.4.rc0 -> sage-7.4.beta6 to fail since the build system does not know that libfplll was replaced by fplll. Therefore, after such a downgrade, the libfplll package is not reinstalled.

Solution:

  1. Revert the renaming and remove installed/fplll* when installing libfplll (this ticket).
  1. After the MPFR upgrade (#21660), rename libfplll -> fplll and remove installed/libfplll* when installing fplll.

Since (lib)fplll depends on MPFR, the changing of MPFR version will force a reinstallation of (lib)fplll. If both the spkg-install of libfplll and of fplll delete the other "installed" file, both downgrades and upgrades will work as expected.

Change History (21)

comment:1 Changed 5 years ago by jdemeyer

  • Cc tmonteil jpflori cpernet malb added

comment:2 Changed 5 years ago by jdemeyer

  • Description modified (diff)

comment:3 Changed 5 years ago by jdemeyer

  • Description modified (diff)

comment:4 follow-up: Changed 5 years ago by jpflori

Can't we just remove the installed/libfplll file from fplll's spkg-install?

comment:5 Changed 5 years ago by jpflori

  • Authors set to Jean-Pierre Flori
  • Branch set to u/jpflori/21675
  • Commit set to 88a7a70fadc943a5fd3574663396852235426233

Here is something. I have to go now so I did not have time to test it correctly, fplll is still compiling.


New commits:

88a7a70Make sure dowgrading from fplll to libfplll works.

comment:6 in reply to: ↑ 4 Changed 5 years ago by jdemeyer

Replying to jpflori:

Can't we just remove the installed/libfplll file from fplll's spkg-install?

That only solves the problem in one direction and will break a downgrade followed by an upgrade (fplll -> libfplll -> fplll).

comment:7 Changed 5 years ago by jdemeyer

  • Description modified (diff)
  • Summary changed from Deal better with renaming libfplll -> fplll to Revert the renaming libfplll -> fplll

comment:8 follow-up: Changed 5 years ago by jpflori

  • Description modified (diff)
  • Summary changed from Revert the renaming libfplll -> fplll to Deal better with renaming libfplll -> fplll

You mean that fplll (and cython files depending on the lib) won't get rebuilt the second time?

comment:9 Changed 5 years ago by jdemeyer

  • Branch changed from u/jpflori/21675 to u/jdemeyer/21675

comment:10 Changed 5 years ago by jpflori

  • Commit changed from 88a7a70fadc943a5fd3574663396852235426233 to 618a581220339d4af6985080be5d7a2172de49a8

Oops, I was doing two things at the same time and did not pay attention to the warning...


New commits:

3951f91Rename fplll -> libfplll
618a581sagelib no longer depends on fplll

comment:11 in reply to: ↑ 8 Changed 5 years ago by jdemeyer

  • Summary changed from Deal better with renaming libfplll -> fplll to Revert the renaming libfplll -> fplll

Replying to jpflori:

You mean that fplll won't get rebuilt the second time?

Exactly, because the build system will think that fplll is still installed.

The only way to get this working is to delete the files from SAGE_SPKG_INST in both directions (the old package should delete the new installed files and the new package should delete the old installed files).

Luckily, we can use the MPFR upgrade as an extra way to force a rebuild of libfplll when downgrading to sage-7.4.beta6 or earlier.

comment:12 Changed 5 years ago by jdemeyer

  • Authors changed from Jean-Pierre Flori to Jeroen Demeyer
  • Status changed from new to needs_review

comment:13 Changed 5 years ago by jdemeyer

  • Description modified (diff)

comment:14 Changed 5 years ago by jpflori

  • Reviewers set to Jean-Pierre Flori
  • Status changed from needs_review to positive_review

Ok, let's hack this in.

comment:15 Changed 5 years ago by vbraun

  • Branch changed from u/jdemeyer/21675 to 618a581220339d4af6985080be5d7a2172de49a8
  • Resolution set to fixed
  • Status changed from positive_review to closed

comment:16 Changed 5 years ago by jdemeyer

  • Commit 618a581220339d4af6985080be5d7a2172de49a8 deleted

Just mentioning that I have been hit by this issue several times since the release of Sage 7.4.rc0 while working on different tickets.

comment:17 Changed 5 years ago by jdemeyer

Volker: this was closed before the release of Sage 7.4.rc1 but still isn't contained in Sage 7.4.rc1. And I don't see it appearing in https://github.com/vbraun/sage/commits/develop

Was this intentional or did something go wrong?

comment:18 Changed 5 years ago by vbraun

it'll be in rc2

comment:19 follow-up: Changed 5 years ago by jpflori

Should we rerevert this now?

comment:20 in reply to: ↑ 19 Changed 5 years ago by jdemeyer

Replying to jpflori:

Should we rerevert this now?

We could.

comment:21 Changed 5 years ago by jpflori

I guess 5.1.0 is coming, that would be a good opportunity.

Note: See TracTickets for help on using tickets.