CristalCaveGem » LustreC

To compile Lustrec:

------------------

# autoconf

# ./configure

# make

# make install

To use lustrec:

--------------

In a modular setting:

# lustrec <filename.lus>

will generate filename.c and filename.h

With a main node:

# lustrec -node <main_node> <filename.lus>

will generate the same two files,

but also filename_main.c that contains a main function

and filename_alloc.h that contains the node allocation macros 

With a main node, with a static memory allocation scheme:

# lustrec -node <main_node> -dynamic <filename.lus>

same as above, but main function will dynamically allocate node memory

To compile it:

# gcc -Iinclude filename.c

# gcc -Iinclude filename_main.c

where include links to the include folder

To run it with the generated main function:

- compile the io_frontend.o

# gcc -c include/io_frontend.c

# gcc -Iinclude -o target_name io_frontend.o filename.o filename_main.o

# ./target_name

To analyze it with frama-c

# frama-c -cpp-extra-args='-Iinclude'  filename.c