Build the checker

Now that we've added the checker's KAST expression to the checkers.xml file and created help, it's time to build the checker. To make this simple, kwcreatechecker adds a Makefile to the checker directory when first run.

Under Unix or OS/X (or anything else non-Windows), run:

make install buildspec

Under Windows, make sure that you're using a Visual Studio command prompt, and run:

nmake install buildspec

This generates:

• a zip file entitled with the code of your checker, suitable for deployment
• a build specification file that allows you to test your compiled checker using kwcheck orkwbuildproject