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:

Status badges

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 mkoeppe

  • Dependencies set to #31577
  • Milestone changed from sage-8.2 to sage-duplicate/invalid/wontfix
  • Status changed from new to needs_review

Superseded by #31577

comment:2 Changed 10 months ago by slelievre

  • 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 mkoeppe

  • Resolution set to invalid
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.