On Saturday, February 7, 2026 at 6:55:43 PM UTC+1 wrote:

On Sat, Feb 7, 2026 at 11:09 AM 'Michel VAN DEN BERGH' via 
sage-support  wrote: 
> 
> In order to possibly investigate the bug 
https://groups.google.com/g/sage-support/c/jyO88vE2gys I thought I might 
build Sage myself. 
> 
> This worked fine (very nice build system!). However if I type "make" 
again, even without any changes, it takes more than five minutes before 
Sage is rebuilt. 
> 
> I am just wondering if this is normal... Here is where the hang is. 

this is normal, as, for the time being, "make" triggers re-scanning of 
the documentation directory by Meson (the building backend), which 
isn't fast (that's 15 years of technical debt sitting there, Sage's 
documenation building system is rather non-standard now). 

If you did "./configure --disable-doc" (not to build documentation in 
html/pdf), then "make" will be much faster, as the latter bottleneck 
is then avoided. 

Thanks a lot! I did that and it worked!

Best,
Michel 


> 
> Running command Preparing editable metadata (pyproject.toml) 
> [sagelib-10.9.beta5] [spkg-install] + meson setup --reconfigure 
/home/vdbergh/sage-github/sage 
/home/vdbergh/sage-github/sage/build/sage-distro -Dbuildtype=release 
-Db_ndebug=if-release -Db_vscrt=md --default-library=static 
--native-file=/home/vdbergh/sage-github/sage/build/pkgs/../platform/meson/sage-configure-native-file.ini
 
-DSAGE_LOCAL=/home/vdbergh/sage-github/sage/local -Dbuild-docs=True 
--native-file=/home/vdbergh/sage-github/sage/build/sage-distro/meson-python-native-file.ini
 

> 
> -- 
> You received this message because you are subscribed to the Google Groups 
"sage-support" group. 
> To unsubscribe from this group and stop receiving emails from it, send an 
email to . 
> To view this discussion visit 
https://groups.google.com/d/msgid/sage-support/3aab1d6e-bd4d-4e2a-8dce-3612164f5f9fn%40googlegroups.com.
 


-- 
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion visit 
https://groups.google.com/d/msgid/sage-support/65dda927-8740-4252-9413-5c5c9eb432d4n%40googlegroups.com.

Reply via email to