Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / README.lustrec @ 22fe1c93

History | View | Annotate | Download (802 Bytes)

1 22fe1c93 ploc
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