Summary
- tuned signature;
- clarified static Build_Process.Context vs. dynamic Build_Process.State; more dynamic Build_Process.Sessions, to accomodate multiple workers (and multiple builds);
- tuned signature: more operations;
- clarified signature: proper equals/hashCode;
- more robust database setup;
- clarified signature;
- clarified signature;
The file was modified | src/Pure/Tools/build_process.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Tools/build_job.scala (diff) |
The file was modified | src/Pure/Tools/build_process.scala (diff) |
The file was modified | src/Pure/General/sha1.scala (diff) |
The file was modified | src/Pure/General/graph.scala (diff) |
The file was modified | src/Pure/Tools/build_process.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |
The file was modified | src/Pure/Tools/build_process.scala (diff) |
The file was modified | src/Pure/Tools/build.scala (diff) |