Skip to content
Snippets Groups Projects
Select Git revision
  • 12d9ff84d26e3593330562c2f05ac097b5616ee7
  • master default protected
2 results

otawa-doc

Clement Ballabriga's avatar
Ballabriga Clément authored
12d9ff84
History
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.