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!
