Build tool for Isabelle, with additional execution context (e.g., for distributed builds).
Install with: isabelle components -u <DIR>. On Windows, use the Cygwin-Terminal.
isabelle context_build -? (nearly regular build options)
Distributed builds are implemented for slurm clusters.
Infrastructure Assumptions:
- shared files system for Isabelle and user home (mounted on same paths), writeable by all nodes
- slurm partitions of homogeneous nodes