A quick hack to basically cut these delays is to disable doc building -
comment out dealing with Sage docs.
As long as you don't need to rebuild the docs, you don't need that line
(which triggers re-scanning of doc targets)
--- a/src/meson.build
+++ b/src/meson.build
@@ -280,4 +280,4 @@ src = meson.current_source_dir()
# Submodules
subdir('sage')
-subdir('doc')
+# subdir('doc')
We can make this `subdir('doc') conditional on a parameter. but it's
unclear to me whether switching it on/off is seamless.
(if you had it off, and then turn it on, then it seems it's not
automatically starting to re-scan 'doc').
But I am not a meson expert.
HTH,
Dima
On Sat, Oct 18, 2025 at 10:01 AM Travis Scrimshaw <[email protected]>
wrote:
> This meson setup issue seems to happen every time I want to add an
> additional optional package. This is completely untenable waiting 10+
> minutes every time as I want to install a number of them.
>
> Travis
>
>
> On Monday, October 13, 2025 at 10:29:19 PM UTC+9 [email protected] wrote:
>
>> The doc-build targets are only *created *but never invoked if you
>> install sagelib - they get only triggered as subtargets of the doc-html
>> target.
>>
>> But it's the declaration of the targets that takes so long here, probably
>> because the dependency tree is quite big (every html doc depends on all
>> inventory docs etc). Hopefully I find some time next week to optimize a bit.
>>
>> --
> 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 view this discussion visit
> https://groups.google.com/d/msgid/sage-devel/6c58f326-b740-4745-ad89-8dac359507f5n%40googlegroups.com
> <https://groups.google.com/d/msgid/sage-devel/6c58f326-b740-4745-ad89-8dac359507f5n%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
--
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 view this discussion visit
https://groups.google.com/d/msgid/sage-devel/CAAWYfq2D31W-0b7LW4izhZTo_t_FWW_t_ZpO%2B2OteZ3U%3DdXWCw%40mail.gmail.com.
