View License

Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.

» Watch video

Join the 15-year community celebration.

Play games and win prizes!

» Learn more

4.0 | 1 rating Rate this file 5 Downloads (last 30 days) File Size: 768 KB File ID: #35927 Version:
image thumbnail

Polyspace Compiler Templates


Christian Bard (view profile)


17 Apr 2012 (Updated )

Polyspace Compiler template sets help at setup phase according to compiler and target

| Watch this File

File Information

Since Polyspace for R2012a, it is possible to create a new project from a template file.
This tool contains a list of templates that if it fits compiler and target requirements, allow a minimum set of Polyspace options in order to ease at use a compilation phase.
Each proposed template contains options, flag of compilation, headers and/or –post-preprocessing-command that will help to reach end of a compilation phase.
Each template is not exhaustive and may sometimes fail in this quest.
Anyway, it gives interesting information how to handle compilation issues and some tips to bypass it without intrusion (or a few).
List of templates available: iar_stm33, cosmic_stm8, cosmic_ hcs12x, ccsv5_mps430, visual10_x86, qnx63_x86, ecoder_32bitgen, wince5_x86, qnx63_powerpc and boost_gnu

Required Products Polyspace Client for C/C++
Polyspace Code Prover
MATLAB release MATLAB 7.14 (R2012a)
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
Comments and Ratings (1)
16 Jul 2012 Rainer Groenewold

Usefull, when using Windows instaed of Linux-Server

27 Apr 2012 1.1

Minor changes

01 Sep 2016

Updated license

Contact us