Skip to content
Snippets Groups Projects
Select Git revision
  • 415df7e3ba7a3a29e75f2ee537a865c2ff53b822
  • for-vairdraw default protected
  • multi-context-windows
3 results

glfw

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.