Opened 5 years ago
Closed 10 months ago
#23747 closed enhancement (invalid)
Rename SAGE_ROOT/build to SAGE_ROOT/sage-distro, SAGE_ROOT/src to SAGE_ROOT/sagelib
Reported by: | mkoeppe | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-duplicate/invalid/wontfix |
Component: | build | Keywords: | |
Cc: | vbraun, jdemeyer, tscrim, slelievre | Merged in: | |
Authors: | Reviewers: | Samuel Lelièvre | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description
I propose to rename build
to sage-distro
and src
to sagelib
(cf. #21507). This is to clarify the purpose of these directories.
Too many things are called src
and build
, even more with #21469 (VPATH), it's getting confusing.
I'm hoping git is smart enough to handle such renames when we merge tickets, but I am not sure.
Change History (3)
comment:1 Changed 15 months ago by
- Dependencies set to #31577
- Milestone changed from sage-8.2 to sage-duplicate/invalid/wontfix
- Status changed from new to needs_review
comment:2 Changed 10 months ago by
- Cc slelievre added
- Dependencies #31577 deleted
- Reviewers set to Samuel Lelièvre
- Status changed from needs_review to positive_review
Let us close this now that #31577 is in.
comment:3 Changed 10 months ago by
- Resolution set to invalid
- Status changed from positive_review to closed
Note: See
TracTickets for help on using
tickets.
Superseded by #31577