メインコンテンツ

Library paths

Specify folders containing precompiled libraries for building tests

Since R2023b

Description

Specify absolute paths to the folder(s) that contain precompiled objects, static libraries, and dynamic libraries that you use to compile your source files. Polyspace® Test™ links the libraries in these folders with your source files and test code to build the test executable. This option does not apply to static analysis. Relative paths are not supported for this option.

Set Option

In your Polyspace Platform project configuration, on the Build tab, select the Target & Compiler node and then enter library paths for this option.

Why Use This Option

If you require linking your source code with specific pre-compiled libraries to build the code correctly, then specify the folders containing the libraries in this option.

Settings

Specify the path to the folders that contain the libraries.

  • Add the absolute path to a folder by clicking the Add empty row button and entering the path.

  • Browse to a folder location by clicking the Add folder button .

  • Add or update multiple folder paths by clicking the Add/edit multiple rows button and entering one path per line in the Add/edit multiple rows dialog box. Leading and trailing spaces are trimmed, and empty lines are ignored.

Dependencies

Note that after you specify the library path, you must still specify the libraries themselves as Libraries.

Command-Line Information

The command-line workflow for setting this option depends on your workflow.

  • If you build your source and tests using a Polyspace Platform Project — Once you set this option in the project using the Polyspace Platform user interface, you cannot override or modify this option using the polyspace-test command.

  • If you build your sources and xUnit tests using your own toolchain — You might be able to provide precompiled libraries directly to your compiler as part of your build command. For instance, if you use gcc, use the option -L to specify library paths during command line compilation.

Version History

Introduced in R2023b