moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
126 stars 73 forks source link

Support mold linker #569

Open sjunges opened 3 weeks ago

sjunges commented 3 weeks ago

Hi,

while waiting for Storm to link on linux... I found this

https://www.productive-cpp.com/using-the-mold-linker-for-fun-and-3x-8x-link-time-speedups/

I believe this could be a tremendous step towards faster CI.

Sebastian

volkm commented 3 weeks ago

I tried building with mold, see this branch and this action. Some first insights:

sjunges commented 3 weeks ago

Cool!

Thanks for looking into it this quickly. Indeed, the difference seems not big as the mold website indicates. :(