Libraries
Specify precompiled libraries for building tests
Since R2023b
Description
Specify the precompiled objects (*.o/*.obj), static libraries
(*.lib/*.a), and dynamic libraries (*.dll) that you
use to compile your source files. Polyspace®
Test™ links these libraries with your source files and test code to build the test
executable. This option does not apply to static analysis.
Set Option
In your Polyspace Platform project configuration, on the Build tab, select the Target & Compiler node and then enter library names 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 libraries in this option.
Dependencies
You must also specify the path to the folders containing your libraries as Library
paths.
Limitations
Polyspace Test supports only 64-bit precompiled 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-testcommand.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-lto specify libraries during command line compilation.
Version History
Introduced in R2023b
