Changes between Version 7 and Version 8 of Ticket #21675
- Timestamp:
- Oct 10, 2016, 1:08:32 PM (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #21675
-
Property
Summary
changed from
Revert the renaming libfplll -> fplll
toDeal better with renaming libfplll -> fplll
-
Property
Summary
changed from
-
Ticket #21675 – Description
v7 v8 5 5 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. 6 6 7 Solution: 8 9 1. Revert the renaming and remove `installed/fplll*` when installing `libfplll` (this ticket). 10 11 2. After the MPFR upgrade (#21660), rename `libfplll` -> `fplll` and remove `installed/libfplll*` when installing `fplll`. 12 13 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. 7 We should either fix the build system or undo the renaming.