Changes between Version 12 and Version 21 of Ticket #29287
- Timestamp:
- 03/15/20 03:12:20 (2 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #29287
-
Property
Status
changed from
needs_work
toneeds_review
- Property Cc tmonteil vbraun added
-
Property
Summary
changed from
SPKG type: Make "normal/script/pip" orthogonal to "standard/optional/experimental"
toSPKG type: Make "normal/script/pip" orthogonal to "base/standard/optional/experimental"
-
Property
Commit
changed from
f819b51bbccb7b13fb9bf12c4f6e6aefb37bc3b6
tocb3c9137ba9a6561ebd2d6cf8312e8f3401fe7ae
-
Property
Status
changed from
-
Ticket #29287 – Description
v12 v21 1 This would enable having "optional" "script" packages. (Needed for #27952 - libnauty)1 This ticket, inspired by a proposal by embray in #24586, removes the misuse of "package type" for the undocumented "script package" category (introduced in #19427). Likewise, it removes the same misuse of "package type" for the undocumented (as noted in #21033) "pip package" category (introduced in #19187). 2 2 3 `type` would only be used for `standard`/`optional`/`experimental`.3 With this ticket, `type` has to be one of `base` / `standard` / `optional` / `experimental`. 4 4 5 - `normal` packages have a `checksum.ini` 6 - `pip` packages have `requirements.txt` instead 5 All `type=pip` packages are changed to `optional`. 6 7 All `type=script` packages are changed to `optional`; with the exception of `sage_conf`, which is a dependency of `sagelib` and is changed to `standard`. 8 9 Orthogonal to `type` is the new notion of a package "source", which is defined as follows: 10 - `normal` packages have a `checksum.ini` file 11 - `pip` packages have a `requirements.txt` file instead (which is used for `pip install`) 7 12 - `script` packages have neither of the two 8 13 14 The ticket also makes `script` packages more similar to `normal` packages: They can now optionally have a `package-version.txt` file; and their installation status is recorded. 9 15 16 Finally, this ticket adds documentation to the developer manual. 17