Zulip Chat Archive

Stream: general

Topic: Mathlib clean build

Schrodinger ZHU Yifan (Apr 22 2024 at 19:54):

how much does it take (in general) to compile mathlib from scratch? Is there any parallelism one could employ?

Johan Commelin (Apr 22 2024 at 19:57):

This depends on your hardware setup. There are machines that compile mathlib in < 20 mins, and others need 1h30.
A lot of parallelism is already employed by compiling multiple files at the same time.

Schrodinger ZHU Yifan (Apr 22 2024 at 20:03):

I see. Thanks.

Schrodinger ZHU Yifan (Apr 22 2024 at 20:09):

It took roughly 18mins to build on my machine.

Kevin Buzzard (Apr 22 2024 at 20:10):

What are the specs, out of interest?

Schrodinger ZHU Yifan (Apr 22 2024 at 20:14):

It is a huge machine with AMD 7773X (64c128t), 128G RAM.

Last updated: May 02 2025 at 03:31 UTC