主要内容

polyspace-test -manage-host-compiler

(System Command) List or select host compilers for Polyspace Platform project build

Since R2023b

Description

The system command polyspace-test -manage-host-compiler lists or selects host compilers for building a Polyspace® Platform project.

polyspace-test -manage-host-compiler -list shows the list of host compilers available on your computer. For more information on host compilers, see Specify C/C++ Compilers for Testing in Polyspace Platform User Interface.

example

polyspace-test -manage-host-compiler -list -supported shows the list of host compilers supported with Polyspace Test™ irrespective of whether they are available on your computer.

polyspace-test -manage-host-compiler -select <compilerName> selects a host compiler for use with Polyspace Test. If you subsequently build a Polyspace Platform project, this compiler is used for compilation on host.

example

Examples

collapse all

This example shows how to change the host compiler for Polyspace Platform project build to Microsoft® Visual C++® 2017.

  1. List the available host compilers.

    polyspace-test -manage-host-compiler -list
    You see a list like the following:
     1 - Short-Name: MinGW64 - Name: MinGW64
     2 - Short-Name: MSVC2017 - Name: Microsoft Visual C++ 2017 v15.0
    *3 - Short-Name: MSVC2019 - Name: Microsoft Visual C++ 2019 v16.0
    Where * indicates the currently selected compiler.

  2. Select the Microsoft Visual C++ 2017 compiler for use with Polyspace Test.

    polyspace-test -manage-host-compiler -select MSVC2017

    After setting your host compiler, you can build a project to see if the newly set compiler is being used.

Input Arguments

collapse all

Short name of compiler to be used for Polyspace Platform project build.

Use the command polyspace-test -manage-host-compiler -list to see the short names of available compilers for use with the -select option.

Example: -select MSVC2017

Version History

Introduced in R2023b