#18095: Use src/Makefile for building Sage
-------------------------------------+-------------------------------------
       Reporter:  jdemeyer           |        Owner:
           Type:  enhancement        |       Status:  needs_review
       Priority:  major              |    Milestone:  sage-6.6
      Component:  build              |   Resolution:
       Keywords:  sd66               |    Merged in:
        Authors:  Jeroen Demeyer     |    Reviewers:
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  u/jdemeyer/ticket/18095            |  41755fe8772858c5d94cc851efdb24ec9adfb6f4
   Dependencies:  #17860             |     Stopgaps:
-------------------------------------+-------------------------------------

Comment (by jdemeyer):

 Replying to [comment:8 mmezzarobba]:
 > Am I correct to understand that you removed the ability to do `sage-
 build -b`(or `sage -b -b`, if I read the source correctly, though I don't
 know if this version ever was intended to work) in order to perform a more
 aggressive rebuild?
 Yes, I did that. However, this is no longer needed since `./sage -ba`
 already does that (and this is the documented version and this still
 works).

 > this ”feature“ was mentioned on sage-support
 Do you have a link?

 > Also, perhaps the calls to `build_sage "$@"` in `sage/bin/sage` should
 be changed to just `build_sage` (and the corresponding `shift`s removed
 when they serve no other purpose) for clarity.
 If you prefer, that can be done.

--
Ticket URL: <http://trac.sagemath.org/ticket/18095#comment:10>
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/d/optout.

Reply via email to