This section provides information on the SPARK build process, whereby the problem and class source files are converted to executable simulation programs.
For advanced usage of SPARK, it is recommended to use SPARK at the command line instead of using the GUI front end. This gives you more control over the build operations, in particular the compilation and linkage steps.