2、Polyspace 项目创建、分析与界面定制全解析

Polyspace 项目创建、分析与界面定制全解析

1. 避免项目源文件混合问题

在某些情况下， polyspace-configure 生成的项目可能会混合为不同可执行文件贡献的源文件。为避免此问题，可根据解决方案中项目的情况采取不同操作：
- 单进程解决方案 ：若解决方案中的所有项目生成单个进程，例如生成 GUI 应用程序的可执行文件和包含该应用程序引擎的 DLL 时，可对解决方案的完整构建运行 polyspace-configure 。
- 其他情况 ：对解决方案中的特定项目运行 polyspace-configure 。

例如，若解决方案 ExampleProject 包含两个项目 AProject 和 AnotherProject ，可从包含该解决方案的文件夹中按以下方式运行 polyspace-configure ：

polyspace-configure -prog AProject ^
     msbuild ExampleProject/AProject.vcxproj /t:Rebuild
polyspace-configure -prog AnotherProject ^
     msbuild ExampleProject/AnotherProject.vcxproj /t:Rebui