the use of -check c adds the target "add_checks" to the specified target. All that this target does it adds the VARIANT "-checks" and it signals to the compiler that -check c actually is turned on. This duplicate notification of "-check c" allows this variant to be specified through the target mechanism, even when not specifying "-check c" explicitly.
This merge request also brings proper (?) support for variants: if a variant is specified, this leads to BOTH, libMOD.so and libTREE.so being built. If a SaC module is being used from a SaC file that uses check c (or the corresponding target:-) the compiler tries to find the matching variant. If that variant does not exist, the compiler issues a warning and tries to fall back to the default variant where is empty. A fallback from the default to any other variant is considered undesireable.
We also add new targets seq_checks and mt_pth_checks and trigger the compilation of the prelude for these variants.
The check flags used for this can be specified through the new resource CHECKFLAGS.
Extending this mechanism for other variants (eg TRACE) should be rather straight forward .....