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