Re: [fricas-devel] Serial part of build

2024-05-24 Thread Waldek Hebisch
On Fri, May 24, 2024 at 05:13:10PM +0800, Qian Yun wrote: > > > On 5/24/24 06:32, Waldek Hebisch wrote: > > > > 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.

Re: [fricas-devel] Serial part of build

2024-05-24 Thread Qian Yun
On 5/24/24 06:32, Waldek Hebisch wrote: 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 categori

Re: [fricas-devel] Serial part of build

2024-05-23 Thread Waldek Hebisch
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 $bootS

Re: [fricas-devel] Serial part of build

2024-05-23 Thread Qian Yun
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 :=

[fricas-devel] Serial part of build

2024-05-22 Thread Waldek Hebisch
I looked a what takes time during serial part of build. More precisly, during database bootstrap step (that is 'boo_db.input'). >From top-level point of view most time goes into compilation of Spad files (about 90%) and about 10% of time is spent in 'make-databases'. At lower level time usage of