Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / README.lustrec @ 5fccce23

History | View | Annotate | Download (991 Bytes)

1 7bfb18df xthirioux
To compile Lustrec:
2
------------------
3 22fe1c93 ploc
4 7bfb18df xthirioux
# autoconf
5 22fe1c93 ploc
# ./configure
6
# make
7
# make install
8
9 7bfb18df xthirioux
10
To use lustrec:
11
--------------
12 22fe1c93 ploc
13
In a modular setting:
14
# lustrec <filename.lus>
15
will generate filename.c and filename.h
16
17
With a main node:
18
# lustrec -node <main_node> <filename.lus>
19 7bfb18df xthirioux
will generate the same two files,
20
but also filename_main.c that contains a main function
21
and filename_alloc.h that contains the node allocation macros 
22 22fe1c93 ploc
23
With a main node, with a static memory allocation scheme:
24 7bfb18df xthirioux
# lustrec -node <main_node> -dynamic <filename.lus>
25
same as above, but main function will dynamically allocate node memory
26 22fe1c93 ploc
27
To compile it:
28
# gcc -Iinclude filename.c
29 7bfb18df xthirioux
# gcc -Iinclude filename_main.c
30 22fe1c93 ploc
where include links to the include folder
31
32
To run it with the generated main function:
33
- compile the io_frontend.o
34
# gcc -c include/io_frontend.c
35 7bfb18df xthirioux
# gcc -Iinclude -o target_name io_frontend.o filename.o filename_main.o
36 22fe1c93 ploc
# ./target_name
37
38
To analyze it with frama-c
39
# frama-c -cpp-extra-args='-Iinclude'  filename.c