Troubleshoot Project Creation from Visual Studio Build

You can run the polyspace-configure command to create a Polyspace® project or options file from a Visual Studio® build. The command monitors the processes executed during the build and extracts information required for the 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.

    See Create Polyspace Projects from Visual Studio Build.

If running polyspace-configure on the msbuild command does not work properly, do the following:

  1. Stop the msbuild process.

  2. Set the environment variable MSBUILDDISABLENODEREUSE to 1.

  3. Restart polyspace-configure on msbuild, this time using the /nodereuse:false option. For instance:

    polyspace-configure msbuild TestProject.vcxproj /t:Rebuild /nodereuse:false

See Also