On Thursday, July 3, 2014 3:59:45 AM UTC-7, Nicolas M. ThiƩry wrote:
>
>         Dear Sage developers, 
>
> I recently noticed some preliminary work in src/setup.py toward 
> compiling the Sage library in place, instead of putting the produced 
> .so and copies of the .py files in src/build. 
>
> Compiling in place means saving 15s of `sage -b` each time I just 
> modify Python code, and I do that all the time; so we are speaking of 
> dozen of minutes per day. So I have been dreaming of it for 
> years. Besides, it would also remove one of the regular source of 
> confusions for our new contributors. 
>
> So I explored this further, and with very minimal further changes 
> (diff attached; I'll push a branch to trac once I have a good enough 
> internet connection), this apparently seems to work smoothly: I 
> haven't yet run all tests, but Sage starts, the documentation 
> compiles, etc. 
>
> I can't wait until I can use this for real Sage development. But for 
> this, I basically need to get this feature into Sage. It would be 
> adventurous to enable this feature by default for all users at this 
> point. On the other hand, we should allow the adventurous of us to use 
> this extensively to chase out the bugs. 
>
> What would be the right approach to make this feature configurable 
> when one compiles Sage for the first time? Using just an environment 
> variable set by the user is not good, since a given user might have 
> Sage installations configured differently. Some piece of information 
> must be stored somewhere at configuration time. 
>
> Btw: do we have an open ticket for this? 
>


The ticket

  http://trac.sagemath.org/ticket/12659

has the right title, anyway.

-- 
John

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" 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-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to