Project

General

Profile

Revision 3a958c40 README.lustrec

View differences:

README.lustrec
1
To compile
1
To compile Lustrec:
2
------------------
2 3

  
4
# autoconf
3 5
# ./configure
4 6
# make
5 7
# make install
6 8

  
7
To use it
9

  
10
To use lustrec:
11
--------------
8 12

  
9 13
In a modular setting:
10 14
# lustrec <filename.lus>
......
12 16

  
13 17
With a main node:
14 18
# lustrec -node <main_node> <filename.lus>
15
will generate the same two files, but filename.c will contains a main function
19
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 
16 22

  
17 23
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
24
# lustrec -node <main_node> -dynamic <filename.lus>
25
same as above, but main function will dynamically allocate node memory
20 26

  
21 27
To compile it:
22 28
# gcc -Iinclude filename.c
29
# gcc -Iinclude filename_main.c
23 30
where include links to the include folder
24 31

  
25 32
To run it with the generated main function:
26 33
- compile the io_frontend.o
27 34
# gcc -c include/io_frontend.c
28
# gcc -Iinclude -o target_name io_frontend.c filename.c
35
# gcc -Iinclude -o target_name io_frontend.o filename.o filename_main.o
29 36
# ./target_name
30 37

  
31 38
To analyze it with frama-c

Also available in: Unified diff