On Thu, May 23, 2024 at 08:04:21PM +0800, Qian Yun wrote:
> The daase generation is not that long on a fast machine:
> it's around 25 seconds with sbcl.
>
> ---- boo_db.input
> )boot $SaveParseOnly := true
> )read komp_all.input
> )boot processGlobals()
> )boot $SaveParseOnly := nil
> )boot $bootStrapMode := true
> )boot $bootstrapDomains := true
> )boot $createLocalLibDb := false
> )read komp_all.input
> )boot $bootStrapMode := false
> )boot $tryRecompileArguments := false
> )read boot_doms.input
> )boot make_databases([], false)
> ----
>
> The majority time seems to be spent in "boot_doms.input".
> Which compiles 314 spad files. But I think we can compile those
> files in parallel if we dump a Lisp image here?
I am not sure. At least we world need proper dependencies. Most of
those files are categories. We compile categories because compiling
may need to load compiled categories. And compiling a category need
categories that it uses. Our list of categories to compile is sorted
so that dependencies are compiled first.
--
Waldek Hebisch
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/fricas-devel/Zk_EESLzzGP_so2r%40fricas.org.
