Development environment for Linux

The MARTe development environment can be setup in any modern desktop Linux distribution.

For the sake of simplicity these instructions are shown for the CentOS distribution but should be easily adaptable to any other mainstream distribution.

Prerequisites

• CentOS 7;

• Cppcheck;

• Doxyget;

• gcov;

• lcov;

Configuration

1. Install the CentOS distribution;

2. Open a terminal;

   1. Update the distribution: yum -y update

   2. Make sure that the development tools are installed: yum groupinstall "Development tools"

   3. Install Cppcheck: yum install -y cppcheck

   4. Install Doxygen: yum install -y doxygen

3. lcov can be deployed in any folder of the operating provided that the developer has write and execution access

   1. wget http://downloads.sourceforge.net/ltp/lcov-1.11.tar.gz

   2. tar zxf lcov-1.11.tar.gz