CPROVER Manual TOC
Visual Studio version 2008 onwards comes with a new XML-based build system called MSBuild. The MSBuild system is also activated when triggering a build from the Visual Studio GUI. The project files created by the Visual Studio GUI are used as input by the MSBuild tool.
The MSBuild system can be used to generate goto-binaries from your Visual Studio project as follows:
in some directory that is contained in the PATH environment
Add a configuration for the goto-cc build for your project in the configuration manager, named "goto-cc".
Open the Visual Studio Command Prompt (in the Tools menu).
Locate the directory that contains the project. Change into this directory using "CD".
msbuild /p:CLToolExe=goto-cl.exe /p:LinkToolExe=goto-link.exe
The platform can be adjusted as required; the "Flavor" given should match the configuration that was created earlier.
Note that the recent versions of goto-cc also support file names with non-ASCII (Unicode) characters on Windows platforms.