You can run polyspace-configure on a Visual Studio® build and extract information from the build to create a Polyspace® project or options file.
You can trace your Visual Studio build in one of the following ways:
Build your Visual Studio project completely at the command line with
msbuild while tracing this build with
polyspace-configure.
In this workflow, you run polyspace-configure on an
msbuild command with a Visual Studio project (.vcxproj) file. For instance, in a
Visual Studio 2019 developer prompt, enter the
following:
polyspace-configure msbuild TestProject.vcxproj /t:Rebuild
Build your Visual Studio project in the Visual Studio IDE while tracing this build with
polyspace-configure.
Run polyspace-configure on the
devenv.exe executable to open the Visual Studio IDE, build your project or solution within the IDE, and then close
the IDE.
If running polyspace-configure on the msbuild
command does not work properly, do the following:
Stop the msbuild process.
Set the environment variable MSBUILDDISABLENODEREUSE to
1.
Restart polyspace-configure on msbuild,
this time using the /nodereuse:false option. For
instance:
polyspace-configure msbuild TestProject.vcxproj /t:Rebuild /nodereuse:false