@whitequark It took about half an hour for me on a 16-core with 128 GB RAM. And yeah, other than the docs for ./configure being out of date (the --options flag seems to have been removed, but docs say it's still there), that was one of the smoother `./configure; make` processes I've seen.