1.1. Verifying Correct GNATbench Installation

To verify that GNATbench has been installed into Workbench, use the Workbench Help menu. First, select Help and then “About Wind River Workbench” at the bottom of the selections. Then press the “Installation Details” button at the bottom of the resulting dialog box. Another pop-up dialog box will appear, with tabbed pages showing the installed software, installation history, features, plug-ins, and configuration. Click on the “Plug-ins” tab to show all the installed plug-ins. You should see a number of plug-ins with “AdaCore” shown in the Provider column. If so, installation is likely fine. If not, installation has not occurred or did not complete successfully.

The list of plug-ins will look something (but not exactly) like the figure below.

plug-ins list

1.2. Configuring the Project Build Type (Wind River Workbench 3.x only)

“Flexible” managed builds are used by default in Workbench; the older “Standard” managed builds are deprecated. Standard managed builds are still supported for existing GNATbench projects but, all new GNATbench projects will use Flexible managed builds. Therefore you should disable Standard managed builds so that you do not accidentally select them when creating new projects.

You should also ensure the option to “Create default build targets for new projects using flexible managed build” option remains enabled.

The build facility is controlled using the Wind River “Build” preference page. Set the options on the page as shown below. Note that you will only have to do this preference configuration once unless the preferences are somehow reverted.

enabling standard build pref page