Changes between Initial Version and Version 8 of Ticket #15465


Ignore:
Timestamp:
12/01/13 15:39:35 (7 years ago)
Author:
vbraun
Comment:

The idea is to delete the src/sage/dev directory if development is not possible (e.g. because of file permissions). Just not importing dev is not a solution as the dev doctests are still around (and will all fail).

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #15465

    • Property Status changed from new to needs_work
    • Property Reviewers changed from to R. Andrew Ohana
    • Property Summary changed from Allow using Sage without git repository to Allow using Sage without dev/git
    • Property Dependencies changed from to #14482
    • Property Branch changed from to u/vbraun/run_without_git
    • Property Milestone changed from sage-5.13 to sage-6.0
    • Property Commit changed from to 24e5a7388f98b535ae84aa5753439e0128994473
  • Ticket #15465 – Description

    initial v8  
    1 For binary builds and perhaps tarballs we should not require the git repository. This ticket fixes two doctests for that use case.
     1For binary builds / system-wide installs and perhaps tarballs we should not require the git repository. This ticket fixes two doctests for that use case.
     2
     3That is, to remove the development functionality you can now
     4* delete `SAGE_SRC/sage/dev`
     5* delete `SAGE_ROOT/.git`
     6and all doctests still pass