-
-
Notifications
You must be signed in to change notification settings - Fork 491
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove most spkg-legacy-uninstall
scripts
#36839
Remove most spkg-legacy-uninstall
scripts
#36839
Conversation
These are pretty obvious: run "git grep -i cygwin build/bin" and then delete the special cases for Cygwin.
SageMath version 10.3.beta1, Release Date: 2023-12-10
…those commands into spkg-legacy-uninstall scripts
e42f181
to
77c6c04
Compare
this probably needs non-incremental testing, to see that all this pkg-config magic still works |
Documentation preview for this PR (built with commit 77c6c04; changes) is ready! 🎉 |
is this something to happen once only, or a real bug? |
Where do you see this? In a local test or in one of the CI runs? |
https://github.com/sagemath/sage/actions/runs/7171776285/job/19527492807?pr=36862 |
I think that's unrelated noise in the Conda CI |
So let's get this in? |
local tests seem OK. |
Is there a conflict with #36778 ? |
#36778 is already merged here |
ah, right |
Thanks. |
Most normal SPKGs are installed by staging in
DESTDIR
. When copying to the final install location inSAGE_LOCAL
, an installation record is created, which is used later in package uninstallation.However, when SPKG installation was switched to using staging in
DESTDIR
(Meta-ticket #24024), the parts ofspkg-install
scripts that used to be responsible for removing an old version of the installed package were either kept in place or moved tospkg-legacy-uninstall
scripts. This was done to enable incremental builds from older installations.By passage of time, this is no longer needed.
Some of the removals are a partial cherry-pick from #25140 by @embray.
We also switch
frobby
toDESTDIR
staging and add anspkg-legacy-uninstall
script.Resolves #25140.
Resolves #30480.
📝 Checklist
⌛ Dependencies