Use PKG-clean target to implement sage -f PKG

[jdemeyer]

After #19101, sage -f PKG first deletes local/var/lib/sage/installed/PKG-* and then runs sage -i PKG.

I propose to move the rule of removing local/var/lib/sage/installed/PKG-* to build/make/Makefile as a PKG-clean target. This would make it easier to extend the functionality of sage -f FOO to non-packages, for example

sage -f optional   # force install all optional packages
sage -f python     # force install correct version of Python (python2 or python3 package)

Depends on #19116

Component: build

Author: Jeroen Demeyer

Branch/Commit: 1812e4f

Reviewer: John Palmieri

Issue created by migration from https://trac.sagemath.org/ticket/19119

[jdemeyer]

Branch: u/jdemeyer/ticket/19119

[jdemeyer]

New commits:

31ff6e7	Parse sage-spkg options in sage-spkg
cb05746	Add sage --location option to run sage-location
e856a8e	Change sage -i to install with dependencies
93ec09b	Change sage -p to always install a package
c6ddd0e	Better help
f3d7ef3	Remove -f option to sage-spkg when running sage -i
752e269	Use PKG-clean target to implement sage -f PKG

[jdemeyer]

Commit: 752e269

[jhpalmieri]

comment:3

If I run sage -i python or sage -f python, I get

Error: package 'python' not found
Assuming it is an old-style package... (this is deprecated: use -p instead of -i to install old-style packages)

Attempting to download package python
Error: could not find a package matching python
       Try 'sage --package list' to see the available packages
       Did you mean: cython, ipython, python2, python3, patch?

If I run make python, I get

make[1]: *** No rule to make target `python'.  Stop.

This is despite the line

PYTHON = $(PYTHON2)

in build/make/Makefile.

[jhpalmieri]

comment:4

Or maybe that's not the point of this ticket, and this just adds PKG-clean. That part works well.

[jhpalmieri]

comment:5

Although should make PKG-clean also delete the log file for PKG?

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

1812e4f

Merge tag '6.9.beta6' into t/19119/ticket/19119

[sagetrac-git]

Changed commit from 752e269 to 1812e4f

[jdemeyer]

comment:7

Replying to @jhpalmieri:

Or maybe that's not the point of this ticket, and this just adds PKG-clean.

Exactly.

[jdemeyer]

comment:8

Replying to @jhpalmieri:

Although should make PKG-clean also delete the log file for PKG?

I don't see why... so far Sage has always appended log files and I see no reason to change that on this ticket.

[jhpalmieri]

Reviewer: John Palmieri

[vbraun]

Changed branch from u/jdemeyer/ticket/19119 to 1812e4f