================================================================================ RAISONANCE S.A.S. 17, Av Jean Kuntzmann F-38330 Montbonnot - France Phone: +33(0)476610230 Fax: +33(0)476418168 Web: www.raisonance.com Support: support@raisonance.com Info: info@raisonance.com Sales: sales@raisonance.com -------------------------------------------------------------------------------- PC-lint plugin for Ride7 2011/03/30 -------------------------------------------------------------------------------- Copyright (c) 2011 Raisonance S.A.S. All rights reserved. Thank your for choosing Raisonance development tools for your microcontroller project. These are the release notes for the Raisonance Ride7 plugin for the Gimpel PC-lint tool. PC-lint is a C/C++ code checker which is distributed as a command-line tool. The purpose of the PC-lint plugin for Ride7 is to provide a user-friendly integration of this tool in Ride7, so that PC-lint code checking is done at the press of a button, without having to handle all specific preprocessor macros, include file paths and options. The plugin provides visual feedback about C code issues found in your projects, so that you can easily navigate to the source lines causing the problems in order to review and correct them. ================================================================================ -------------------------------------------------------------------------------- CONTENTS -------------------------------------------------------------------------------- SECTION 1 Supported configurations SECTION 2 Installation SECTION 3 Using PC-lint from Ride7 SECTION 4 Raisonance compilers support -------------------------------------------------------------------------------- SECTION 1 Supported configurations -------------------------------------------------------------------------------- Raisonance tool sets and Ride7 operate on Windows 7 (including 64-bits), Windows Vista and Windows XP SP3. Other versions of Windows, including Windows 2000 and Windows Server, are not supported. The minimal Ride7 version required for execution of this plugin is version 7.32. Ride7 Enterprise version is required. If you have a Lite version, the plugins are not available. Gimpel PC-lint should be installed on your machine for this plugin to work. The plugin has been tested with PC-lint version 9.00f. -------------------------------------------------------------------------------- SECTION 2 Installation -------------------------------------------------------------------------------- Ride7 should be installed on your machine, along with an RKit such as RKit-ARM or RKit-STM8 in enterprise mode. this can be checked from the Ride7 "Help | About" menu, which should show the RidE7 version as "Enterprise". Also the PC-lint tool should be installed and configured for your machine according to your requirements. The PC-lint directory (C:\lint\ by default) should be in the path, so that the LIN.BAT file can be called from the command-line. This can be checked by running the "LIN.BAT" command from a console Once these steps are validated, follow these instructions: 1) Download the PC-lint plugin files from the following link: ftp://www.raisonance.com/pub/Utils/PC-lint/ 2) Extract the plugin files to a local directory. 3) Copy the plugin files to the Ride7 installation directory, in the following subdirectory: %ridedir%\Config\ExternalTools\PC-lint (ex.: C:\Program Files\Raisonance\Ride\Config\ExternalTools\PC-lint\) 4) Start Ride7 5) Activate the PC-lint plugin from Ride7 through "Options | Plugins". The PC-lint pluging should appear, just check its box in order to validate it then press the OK button. 6) It may be necessary to restart Ride7 for the plugin to be active. -------------------------------------------------------------------------------- SECTION 3 Using PC-lint from Ride7 -------------------------------------------------------------------------------- Once PC-lint is installed, just follow these steps to run it: 1) Select the file or set of files to be checked with PC-lint. In the Ride7 project manager window, click on the file, foder or application to be checked. 2) Launch the PC-lint tool. You just need to press the PC-lint icon in the Ride7 toolbar. Alternately, you can right-click on the file(s) to be checked, then in the popup menu select "Run | PC-lint | Check source". This will launch PC-lint on the requested files, automatically handling application-specific options such as preprocessor macros and include file paths. 3) PC-lint provides feedback through the Ride7 "Build log" window. - The first lines of the output indicate the file names that have been processed, along with the full command-line used to run PC-lint. - Next the output of the PC-lint tool is available. Errors found by PC-lint are highlighted in red. Clicking on an error will automatically open the corresponding C file at the appropriate line. - The last line of the output, highlighted in blue, indicates the name of a temporary file that contains the full PC-lint execution report. Clicking on this line will open the report in the Ride7 editor. -------------------------------------------------------------------------------- SECTION 4 Raisonance compilers support -------------------------------------------------------------------------------- PC-lint does not support some of the Raisonance compilers, such as RCSTM8 (RKit-STM8) for the ST7 and STM8 microcontrollers or RC-51 (RKit-51) for 80C51 microcontrollers. Raisonance is providing PC-lint configuration files for these compilers. You can download them from the following link: ftp://www.raisonance.com/pub/Utils/PC-lint/ Once these files have been dowloaded, place them in your PC-lint directory (C:\lint\ by default) The specific configuration files (*.lnt) can be passed to PC-lint on its command-line, which will then add support for your Raisonance compiler. ==================End of File===================================================