Skip to content
Snippets Groups Projects
Select Git revision
  • 090c985ed5f780eabb714057c0d240b4be1ef81e
  • master default protected
2 results

msa-limit

Name Last commit Last update
README.md

OTAWA plugin tutorial

Installing OTAWA v2

First of all, you should download and install OTAWA v2, from here:

http://www.otawa.fr/

To downaload and install OTAWA, you first download the script

http://www.tracesgroup.net/otawa/packages/otawa-install.py

then execute the script using python 2.7

Installing extra packages

Some libraries you will need:

  • libxslt
  • ocaml
  • gcc-arm-none-eabi

For example, on Ubuntu type :

sudo apt-get install <package-name>

You will probably need to install the OTAWA plugins for ARM. Go into otawa/bin and type:

./otawa-install.py otawa-arm
./otawa-install.py otawa-lp_solve5

Setting environment

You will need to do the following:

  • put otawa/bin in your path
  • put otawa/lib in the LD_LIBRARY_PATH variable

Compiling the plug-ins

Go to the plugin source directory, then type make.