Proposal: Make "configure --enable-editable" the default in Sage 9.7

35 views
Skip to first unread message

Matthias Koeppe

unread,
May 11, 2022, 6:54:41 PM5/11/22
to sage-devel
In https://trac.sagemath.org/ticket/32406 I propose to change the default installation of Sage to use "configure --enable-editable". 
This has many benefits for developers: If you only make changes to Python files, there is no need to rebuild ("sage -b"). Just restarting sage picks up the changes.
The only drawback may be for people who use a workflow that relies on the installed copy of Sage to be isolated from temporary edits by the fact that "sage -b" has not been run yet. (Moving the temporary edits out of the way using "git stash", using "configure --disable-editable", or using a second, stable copy/worktree of Sage are three ways to fix it.)
Opinions?

William Stein

unread,
May 11, 2022, 6:59:29 PM5/11/22
to sage-devel
My opinion is +1000! Finally! This is so much better.

William

>
> --
> 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 sage-devel+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/2cba7b80-04b6-4966-b483-0a2f19a03d33n%40googlegroups.com.



--
William (http://wstein.org)

François Bissey

unread,
May 11, 2022, 8:48:38 PM5/11/22
to sage-...@googlegroups.com
My first reaction was that it was a good idea. My view with a bit of reflection is that most devs on this list will want that.
But not necessarily end users who just want to use sage.

With that in mind, I think the default should be editable on the development branch but non-editable for stable release.
This is a mere opinion and there is certainly space to disagree and further may prove unpractical.

François

Matthias Koeppe

unread,
May 11, 2022, 8:52:13 PM5/11/22
to sage-devel
On Wednesday, May 11, 2022 at 5:48:38 PM UTC-7 François Bissey wrote:
> On 12/05/2022, at 10:54, Matthias Koeppe <matthia...@gmail.com> wrote:
> In https://trac.sagemath.org/ticket/32406 I propose to change the default installation of Sage to use "configure --enable-editable".

My first reaction was that it was a good idea. My view with a bit of reflection is that most devs on this list will want that.
But not necessarily end users who just want to use sage.

End users who do not edit the sources will not notice any difference. 

 

François Bissey

unread,
May 11, 2022, 8:54:09 PM5/11/22
to sage-...@googlegroups.com
Then it is certainly the most sensible, because differentiating between develop and master is just a disaster waiting to happen.

+1
Reply all
Reply to author
Forward
0 new messages