OTAWA plugin tutorial
Installing OTAWA v2
First of all, you should download and install OTAWA v2, from here:
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 theLD_LIBRARY_PATH
variable
Compiling the plug-ins
Go to the plugin source directory, then type make.