CProver manual
|
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.
To use MSBuild to generate goto-binaries from your Visual Studio project:
goto-cl.exe
and goto-link.exe
binaries in some directory that is contained in the PATH environment variable.msbuild /p:CLToolExe=goto-cl.exe /p:LinkToolExe=goto-link.exe /p:Flavor=goto-cc /p:Platform=x86You can adjust the platform as required. The “Flavor” given should match the configuration you created earlier.
Note that the recent versions of goto-cc also support file names with non-ASCII (Unicode) characters on Windows platforms.
Last modified: 2024-11-20 06:00:32 -0800