We are currently developing OTAWA v2.
It is not ready for publication but you can already play with a pre-version.
OTAWA v2 is embedding a new installation that supports OTAWA installation and third-party plug-in installation from web repository: this tool is called otawa-install.py (Python required). Notice that
otawa-install.py should only work only for Linux but we hope to quickly adapt it to Mac an Windows.
otawa-install.py, the following dependencies must/may be available:
- GNU C++ (required)
- OCAML (required)
- Python 3
- Flex, Bison (required)
- libxml2-dev, libxslt1-dev (required)
- cmake, git (required)
- GraphViz (for graph output)
Using otawa-install.py is relatively easy. First download it in the directory that will contain the installation of OTAWA (let name it OTAWA_HOME).
$ cd OTAWA_HOME
The packages will be installed in /home/casse/tmp/otawa: [yes/NO]: yes
This will take a while to install the minimum set of libraries and tools for OTAWA. Be patient…
After that, recall to use the
otawa-install.py command in OTAWA_HOME/bin/otawa-install.py to install some plug-in.
To get the list of plugins, just type:
Notice that OTAWA is first delivered alone (no instruction set, no micro-architecture except trivial ones, no ILP solver). You have to use
otawa-install.py to install them.
WSL is currently the preferred way to use OTAWA with Windows.
Once the WCSL bash is opened, follow the same process as for usual Linux installation.
Current version of Cygwin has a broken version of OCAML. No way for now.
CygWin is good alternative to install OTAWA on Windows.
Name changes in the dependencies packages:
- libxml2: libxml2-devel
- libxslt1-dev: libxslt1.1-devel
otawa-install.py can be used as is.
For the rest, follow the generic process above.