Build the checker

Build the checker with make install buildspec in Linux, or nmake install buildspec in Windows (from the VS prompt).

This process generates:

• a file called CHECK.VAR.SIZE.zip containing the checker files
• a build specification file that allows you to test your compiled checker