Skip to content
Snippets Groups Projects
Commit d437d170 authored by Lipari Giuseppe's avatar Lipari Giuseppe
Browse files

Fixing compiling instructions

parent e3a59998
Branches
No related tags found
No related merge requests found
all: ucb_etat_de_l_art ucb_categorie exploration_graph
ucb_etat_de_l_art: initialize_RMB_LMB
$(MAKE) -C UCB_local
initialize_RMB_LMB:
$(MAKE) -C initialize_RMB_LMB
ucb_etat_de_l_art: initialize_RMB_LMB
$(MAKE) -C UCB_local
ucb_categorie: cache_block_id
$(MAKE) -C ucb_otawa
......
# OTAWA plugin for computing cache block usage #
Author: Fabien Bouquillon
## Instructions ##
### 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 ###
Type make, all plugins are compiled.
File mode changed from 100755 to 100644
File mode changed from 100755 to 100644
......@@ -11,7 +11,7 @@ ARMCC=arm-none-eabi-gcc
CXXFLAGS += -std=c++11 -O0 -g -I ../otawa-core2-build/otawa/include/ -I ../otawa-core2-build/elm/include/ -I ../include
all: clean initialize_RMB_LMB.so install application binaire condition loop one_function large_code large_loop mpeg2
all: clean initialize_RMB_LMB.so install application binaire condition loop one_function large_code large_loop
binaire: binaire.c
$(ARMCC) -nostdlib -nostdinc -static -o binaire binaire.c
......@@ -31,9 +31,6 @@ large_code: large_code.c
large_loop: large_loop.c
$(ARMCC) -nostdlib -nostdinc -static -o large_loop large_loop.c
mpeg2: mpeg2.c
$(ARMCC) -nostdlib -nostdinc -static -o mpeg2 mpeg2.c
##debut
application: application.o
$(CXX) -o application application.o $(LDLIBS2)
......@@ -62,6 +59,9 @@ initialize_RMB_LMB.so: initialize_RMB_LMB.cpp include/initialize_RMB_LMB.h
clean:
rm -f *.o application binaire *~ *.dot *.ps *.so
cleanall: clean
rm -f condition large_code large_loop loop one_function test_graph test_rmb
install: initialize_RMB_LMB.so
mkdir -p $(HOME)/.otawa/proc/otawa
cp initialize_RMB_LMB.eld $(HOME)/.otawa/proc/otawa/
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment