Currently, they are compiled with the baseline strc, which is not correct, since they link with the local Stratego libraries, which are built with the local compiler. These local libraries could use a different compilation scheme, so compiling with two different compilers might break the check programs.

Submitted on 22 May 2006 at 02:06