Project

General

Profile

« Previous | Next » 

Revision a53a28cb

Added by Eric Noulard over 9 years ago

Post 1.1 release.
Back to dev version

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@473 041b043f-8d7c-46b2-b46e-ef0dd855326e

View differences:

src/options.ml
13 13 
let include_path = Version.include_path
14 14 

  		




  15
  15
  
    
let print_version () =


  		




  16
  
  
    
  Format.printf "Lustrec compiler, version %s (Xia/Qi)@." version;


  		




  
  16
  
    
  Format.printf "Lustrec compiler, version %s (dev)@." version;


  		




  17
  17
  
    
  Format.printf "Include directory: %s@." include_path


  		




  18
  18
  
    

  		




  19
  19
  
    
let main_node = ref ""


  		












Also available in:  Unified diff