Project

General

Profile

« Previous | Next » 

Revision ac6ce5a1

Added by Lélio Brun over 2 years ago

disable tests in gitlab CI

View differences:

src/options_management.ml
11 11 
open Options
12 12 

  		




  13
  13
  
    
let print_version () =


  		




  14
  
  
    
  Format.printf "Lustrec compiler, version %s (%s)@." version (codename ());


  		




  
  14
  
    
  Format.printf "Lustrec compiler, version %s (%s)@." version codename;


  		




  15
  15
  
    
  Format.printf "Standard lib: %s@." Version.include_path;


  		




  16
  16
  
    
  Format.printf "User provided include directory: @[<h>%a@]@."


  		




  17
  17
  
    
    (Utils.fprintf_list ~sep:"@ " Format.pp_print_string) !include_dirs


  		












Also available in:  Unified diff