Main Content

Include paths (-I)

Specify paths to folders containing include files

Since R2023b

Description

The option with this name is available only in the Polyspace Platform (Polyspace Test) user interface. In the standard Polyspace® user interface, you add include paths during project creation. For more information, see Add Source Files for Analysis in Polyspace User Interface.

Polyspace looks in the specified folders for header files included with #include statements in sources. This option is equivalent to the command-line command -I. This option applies to both static analysis and dynamic testing. You can specify either absolute or relative path to the header files.

Set Option

User interface (Polyspace Platform, desktop products only): In your project configuration, the option is in the Project tab.

Command line and options file: Use the command -I. See Command-Line Information.

Why Use This Option

Use this option to specify where you keep your header files. You can then include the headers to your source code.

Settings

Specify the absolute or relative path to the folders that contains your header files. To add a folder:

  • Click and enter the path to the folder containing your header files. Polyspace resolves the relative paths relative to the location of the project file (*.psprjx).

  • Alternatively, you can browse to the location by using the Add folder () or Add folder as relative path () button.

If you want to include the subfolders of the specified folder recursively, select the checkbox in the Subfolders column.

Tips

You can use system environment variables as shorthands in the include folder paths. If you share the project with another user who has the include folders in a different root location, utilizing environment variables can help ensure that the project stays in sync with include folder paths. For more information, see:

Command-Line Information

To use this option at the command line, you can either use the option directly or append the option in an options file.

Parameter: -I
Default: None
Value: file (Use -I multiple times for multiple files)
Example (Bug Finder): polyspace-bug-finder -I /com1/inc -I /com1/sys/inc
Example (Code Prover): polyspace-code-prover -I /com1/inc -I /com1/sys/inc
Example (Bug Finder Server): polyspace-bug-finder-server -I /com1/inc -I /com1/sys/inc
Example (Code Prover Server): polyspace-code-prover-server -I /com1/inc -I /com1/sys/inc

Version History

Introduced in R2023b

See Also

Topics