Project

General

Profile

Revision 042dc586

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