Makefiles: parallelize the extraction of ulib with its verification

FStarLang / FStar

A Proof-oriented Programming Language

https://fstar-lang.org

Apache License 2.0

2.7k stars 234 forks source link

Makefiles: parallelize the extraction of ulib with its verification #3388

Closed mtzguido closed 2 months ago

mtzguido commented 3 months ago

There is currently a chokepoint in that all of ulib must verify before we begin extracting. This patch allows the two stages to happen concurrently, while of course respecting the dependencies.