Project

General

Profile

« Previous | Next » 

Revision 3a958c40

Added by Xavier Thirioux about 10 years ago

updated version of README.lustrec about how to install lustrec and how to compile.

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