Why does the "Add Include" button not add the folder I have navigated to, in Polyspace 8.4 (R2012b)?

I am using Polyspace 8.4 (R2012b) to analyze some of my C code, and I would like to add some folders to the "Include" folder of my Polyspace project. In order to do this, I click on the icon in the Project Browser to "Add source folder or source file to your project". I then navigate into the folder that I would like to include. As an example, I would like to add the following folder to my "Include" folder:

C:\install\VXWorks-6.7\target\h

Therefore, I navigate into the "h" folder from the "Add source files and user includes" dialog box. I then hit the "Add Include" button, and nothing happens. The folder is not added to my Include folder, and there is no error message indicating that anything went wrong. A screenshot, 'polyspace_include_doesnotwork.png', is attached that shows where this behavior occurs. Why does this happen in Polyspace 8.4 (R2012b)?

Answer 1

[MathWorks Support Team]

In order to add a folder to your "Include" folder in Polyspace 8.4 (R2012b), you need to select the folder with the mouse before clicking on the "Add Include" button. It is easier to do this by navigating to the folder that is one level above the folder that you want to include. For example, if you would like to include "C:\install\VXWorks-6.7\target\h", you can do the following:

1. Navigate into the "target" folder instead of the "h" folder.

2. Once in the "target" folder, single-click on the "h" folder such that it is highlighted in blue.

3. Click on the "Add Include" button to add the "h" folder to the Include folder of the Polyspace Project Explorer.

A screenshot, 'polyspace_include_works.png', is shown to describe how to do this.