Project Creation From Build Command
Create project from build command or JSON compilation database
If you use a build command such as make or cmake for building your source code or you are able to generate a JSON compilation database using your build system, you can create a Polyspace® Platform project from the build command or compilation database. The source files and build options in the Polyspace Platform project are determined from the compiler invocations in the build command or compilation database.
System Commands
polyspace-configure | (System Command) Create Polyspace Platform project, workspace, or options file from build command or compilation database |
Topics
Get Started
- 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. - Requirements for Polyspace Project Creation from Build Systems
Learn why automatic Polyspace project creation might not work for your build system and how to work around some of the causes. - Select Files for Polyspace Project Using Pattern Matching
Select files to include in Polyspace project or options file using expressions with glob patterns. - 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.
Makefile Builds
- Create Polyspace Platform Projects from Builds That Use Makefiles
Reuse build information in makefiles for Polyspace analysis and testing. - Modularize Polyspace Projects by Using Makefile Builds
Create a separate Polyspace project or options file for each binary in makefile build.
Visual Studio Builds
- Create Polyspace Platform Projects From IDE Builds
Specify source files and configuration options by tracing your Visual Studio® build.
CMake Builds
- Create Polyspace Platform Projects from CMake Builds
Reuse build information in CMakeLists files for Polyspace analysis and testing.
