Merge pull request #82 from thibautbenjamin/windows-compat

Windows compat

Author: thibautbenjamin

.gitignore

@@ -35,3 +35,4 @@ result*
 /coq-plugin/theories/Loader.vok
 /coq-plugin/theories/Loader.vos
 catt-web.opam
+_opam/

lib/prover.ml

@@ -22,16 +22,18 @@ let parse s =
             option '--no-builtins' to deactivate the use of built-ins"
            x)
 
-let parse_file f =
-  let sin =
-    let fi = open_in f in
-    let flen = in_channel_length fi in
-    let buf = Bytes.create flen in
-    really_input fi buf 0 flen;
-    close_in fi;
-    buf
+let read_file_to_string path =
+  let rec read_stream stream =
+    try
+      let line = input_line stream in
+      line :: (read_stream stream)
+    with End_of_file ->
+      []
   in
-  parse (Bytes.to_string sin)
+  let stream = open_in path in
+  String.concat "\n" (read_stream stream)
+
+let parse_file f = parse (read_file_to_string f)
 
 let reset () =
   Environment.reset ();