Project

General

Profile

« Previous | Next » 

Revision ac6ce5a1

Added by Lélio Brun over 2 years ago

disable tests in gitlab CI

View differences:

src/version.ml
1 
let number = "%%VERSION%%"
1 
let number = "@PACKAGE_VERSION@-@GITBRANCH@"
2 2 

  		




  3
  
  
    
let codename () =


  		




  4
  
  
    
  match "%%VERSION_NUM%%" with


  		




  5
  
  
    
  | "1.7" -> "Xia/Huai-dev"


  		




  6
  
  
    
  | _ -> "dev"


  		




  
  3
  
    
let codename ="@VERSION_CODENAME@"


  		




  7
  4
  
    

  		




  8
  5
  
    
let include_path = Sites.Sites.include_ |> List.hd


  		




  9
  6
  
    
let testgen_path = Sites.Sites.testgen |> List.hd


  		












Also available in:  Unified diff