Project

General

Profile

« Previous | Next » 

Revision 042dc586

Added by Pierre-Loïc Garoche over 6 years ago

Revert some ocaml code to ocaml 4.01 compatibility

View differences:

src/Makefile
1 
OCAMLBUILD=/home/ploc/.opam/4.03.0+trunk/bin/ocamlbuild -classic-display -use-ocamlfind -no-links
1 
OCAMLBUILD=/usr/bin/ocamlbuild -classic-display -use-ocamlfind -no-links
2 2 

  		




  3
  3
  
    
prefix=/home/ploc/Local


  		




  4
  4
  
    
exec_prefix=${prefix}


  		












  

    
      src/backends/C/c_backend_common.ml
    
  





  24
  24
  
    
    (if !Options.mpfr then "MPFR multi-precision" else "(double) floating-point")


  		




  25
  25
  
    

  		




  26
  26
  
    
let file_to_module_name basename =


  		




  27
  
  
    
  let baseNAME = String.uppercase_ascii basename in


  		




  
  27
  
    
  let baseNAME = String.uppercase basename in


  		




  28
  28
  
    
  let baseNAME = Str.global_replace (Str.regexp "\\.\\|\\ ") "_" baseNAME in


  		




  29
  29
  
    
  baseNAME


  		




  30
  30
  
    

  		












  

    
      src/backends/Horn/horn_backend.ml
    
  





  52
  52
  
    
let load_file f =


  		




  53
  53
  
    
  let ic = open_in f in


  		




  54
  54
  
    
  let n = in_channel_length ic in


  		




  55
  
  
    
  let s = Bytes.create n in


  		




  
  55
  
    
  let s = String.create n in


  		




  56
  56
  
    
  really_input ic s 0 n;


  		




  57
  57
  
    
  close_in ic;


  		




  58
  58
  
    
  (s)


  		












Also available in:  Unified diff