Skip to content
Snippets Groups Projects
Commit 12d9ff84 authored by Ballabriga Clément's avatar Ballabriga Clément
Browse files

Readme

parents
No related branches found
No related tags found
No related merge requests found
# 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.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment