通过编译命令创建工程
通过编译命令或 JSON 编译数据库创建工程
如果您使用 make 或 cmake 等编译命令来编译源代码，或者您能够使用编译系统生成 JSON 编译数据库，则可以通过编译命令或编译数据库来创建 Polyspace® 平台工程。Polyspace 平台工程中的源文件和编译选项由编译命令或编译数据库中的编译器调用决定。
系统命令
polyspace-configure | (System Command) Create Polyspace Platform project, workspace, or options file from build command or compilation database |
主题
快速入门
- Configure Sources and Build Options in Project for Polyspace Analysis and Testing
Set build options in Polyspace project configuration, generate source paths and build options using build command or compilation database. - Create Polyspace Platform Project From Build Command in User Interface
Create a project in the Polyspace Platform user interface from a working build command or compilation database. - 从编译系统创建 Polyspace 工程的要求
了解为什么自动创建 Polyspace 工程可能不适用于您的编译系统，以及如何解决一些原因。 - 使用模式匹配选择用于 Polyspace 工程的文件
使用带有 glob 模式的表达式选择要包含在 Polyspace 工程或选项文件中的文件。 - Information Gathered From Build Systems for Polyspace Analysis and Testing
Learn what information is extracted when you trace your build command to create a Polyspace Platform project.
联编文件编译
- Create Polyspace Platform Projects from Builds That Use Makefiles
Reuse build information in makefiles for Polyspace analysis and testing. - 通过联编文件编译对 Polyspace 工程进行模块化处理
为联编文件编译中的每个二进制文件创建单独的 Polyspace 工程或选项文件。
Visual Studio 编译
- Create Polyspace Platform Projects From IDE Builds
Specify source files and configuration options by tracing your Visual Studio® build.
CMake 编译
- 从 CMake 编译创建 Polyspace 平台工程
将 CMakeLists 文件中的编译信息重用于 Polyspace 分析和测试。
