Changes between Version 3 and Version 7 of Ticket #29082


Ignore:
Timestamp:
01/28/20 09:03:08 (21 months ago)
Author:
dimpase
Comment:

Replying to mkoeppe:

My suggestion would be to rewrite this as a script package instead of putting things into src/. This stuff really does not belong into src/.

Perhaps we should just create var/ next to src/ and put these things there?

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #29082

    • Property Status changed from needs_info to needs_work
  • Ticket #29082 – Description

    v3 v7  
    44The generated files are for sage-the-distribution, not sagelib, so they belong into `build`, not `src`.
    55
    6 Because `configure` (`config.status`) creates them, `make distclean` should clean them, but not `make clean`.
     6Because `configure` (`config.status`) creates them, `make distclean` should clean them, if not `make clean`.