How to integrate HighTec Compiler in Polyspace

Hello team,

We are using HighTec compiler for our project compilation. How to validate Code in Polyspace with HighTec compiler.

How can I integrate HighTec compiler in Polyspace. Please support.

Thank you.!

Answer 1

[Shantanu Dixit]

Hi Iranna,

If my understanding is correct you want to integrate HighTec compiler in Polyspace. HighTec compiler is a GCC port and is supported by Polyspace.The "polyspace -configure" command can be directly used to set up the project. It will automatically determine the version of GCC being used and provide the configuration file for Polyspace.

Alternatively, gnu compiler and target can be specified manually during compiler setup. You can refer to the following documentation link for more information: https://www.mathworks.com/help/codeprover/ref/generictargetoptions.html#:~:text=Use%20polyspace%2Dconfigure,options%2Dfile.

Hope this helps!