search

inQWIRE / SQIR

A Small Quantum Intermediate Representation
MIT License
79 stars 24 forks source link

Fix parallel make, update README #39

Closed k4rtik closed 2 years ago

k4rtik commented 2 years ago

Unsure why the last rule was commented out two years ago: https://github.com/inQWIRE/SQIR/commit/9e6b274d5357b849c77e85813ffa2a86b75b7318#diff-76ed074a9305c04054cdebb9e9aad2d818052b07091de1f20cad0bbac34ffb52L122-R125

The compilation time with make all -j16 improves to 8m 17s from ~14m with this change.

k4rtik commented 2 years ago

Spoke too soon, I had not cleared the externals, which fail with parallel make jobs.

k4rtik commented 2 years ago

Alright, so the correct time is 8m 47s still much better than a single make job.

EDIT: The numbers above are for Coq v8.13.2. On v8.14.1, the build time reduces from 12m 24s to 7m 36s.

I didn't test serially on 8.12, but in parallel, the time is 8m 40s.