Please contact MathWorks Technical Support for help with setting up your project.
I can give you a general idea of the workflow if you want to get started on your own. When you build your source code in the IDE, you might be using the compilation toolchain as stated directly in the IDE or using a build command. In either case, you might be simply clicking a menu item to build your source code. If you know the underlying command behind the menu item (most IDEs tell you in a console which command is running when you click a menu item for building), you can run polyspace-configure on this command and generate a Polyspace options file. The polyspace-configure workflow is simply this:
- Build your source code on the command line and make sure it builds without errors. It might be the regular command line or a command line provided by your IDE (For instance, with Visual Studio, you have to use the Visual Studio Developer Prompt to build your source code. The regular command line does not have all the environment variables correctly set up.)
- Prepend polyspace-configure to this build command and run again. A Polyspace project or options file is generated for you.
Some examples can be found here for other IDEs:
You can always set up your project manually by choosing cosmic for the option Compiler (-compiler). But it is possible you might run into errors when running the Polyspace analysis because other compile options will not be correctly emulated in the Polyspace project. It is best to let Polyspace figure out which options to set, based on your build command. That is the polyspace-configure workflow stated above.
