#14792: source deleted after package build
-----------------------------------+----------------------------------------
       Reporter:  felixs           |         Owner:  GeorgSWeber
           Type:  enhancement      |        Status:  new        
       Priority:  minor            |     Milestone:  sage-5.12  
      Component:  build            |    Resolution:             
       Keywords:  build src clean  |   Work issues:             
Report Upstream:  N/A              |     Reviewers:             
        Authors:  Felix Salfelder  |     Merged in:             
   Dependencies:                   |      Stopgaps:             
-----------------------------------+----------------------------------------

Comment (by jhpalmieri):

 In Sage right now, you can set the variable `SAGE_KEEP_BUILD_SPKGS` to not
 delete the temporary build directories. For an individual spkg
 installation, you can also do `sage -i -s blah.spkg`: the `-s` flag says
 to save (keep) the build directory. Note that keeping all of the build
 directories can take up a lot of disk space, so it is not a good idea to
 turn it on by default.

 (This also doesn't quite do what you want: if you install an spkg once and
 then again, it will start over from scratch. You can manually change to
 the build directory, though, and do whatever recompilation or
 reinstallation you need.)

 These features are documented in
 [http://www.sagemath.org/doc/installation/source.html#environment-
 variables the installation guide].

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14792#comment:1>
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