CristalCaveGem » LustreC

To compile Lustrec:

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

# 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>

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:

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

To compile it:

# gcc -Iinclude filename.c

To run it with the generated main function:

- compile the io_frontend.o

# gcc -c include/io_frontend.c

To analyze it with frama-c

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