#15465: Allow using Sage without dev/git
-------------------------------------+-------------------------------------
       Reporter:  vbraun             |        Owner:
           Type:  defect             |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.0
      Component:  misc               |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Volker Braun       |    Reviewers:  R. Andrew Ohana
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/vbraun/run_without_git           |  24e5a7388f98b535ae84aa5753439e0128994473
   Dependencies:  #14482             |     Stopgaps:
-------------------------------------+-------------------------------------

Old description:

> For binary builds and perhaps tarballs we should not require the git
> repository. This ticket fixes two doctests for that use case.

New description:

 For binary builds / system-wide installs and perhaps tarballs we should
 not require the git repository. This ticket fixes two doctests for that
 use case.

 That is, to remove the development functionality you can now
 * delete `SAGE_SRC/sage/dev`
 * delete `SAGE_ROOT/.git`
 and all doctests still pass

--

Comment (by vbraun):

 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).

--
Ticket URL: <http://trac.sagemath.org/ticket/15465#comment:8>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to