#1359 (Dec 13, 2020, 12:50:06 AM)

1. purge build dir; (detail / hgweb)
2. parallel jobs for make; (detail / hgweb)
3. back to uniform build, using latest repository version for vampire_polymorphic; (detail / hgweb)
4. prefer cmake build for standard version: more portable;
   prefer static build for Linux: allow newer Linux version; (detail / hgweb)
5. clarified default name; (detail / hgweb)
6. build Isabelle Vampire component from repository; (detail / hgweb)
7. accommodate OpenJDK 15; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.3 sec waiting;
• 1 hr 28 min build duration;
• 1 hr 28 min total from scheduled to completion.