1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
open! Stdlib
let rec find_in_path_rec paths name =
match paths with
| [] -> None
| path :: rem ->
let file = Filename.concat path name in
if Sys.file_exists file then Some file else find_in_path_rec rem name
let find_in_path paths name =
if Sys.file_exists name
then Some name
else if Filename.is_implicit name && not (String.equal name ".")
then find_in_path_rec paths name
else None
let rec concat dir filename =
match String.drop_prefix ~prefix:"../" filename with
| None -> Filename.concat dir filename
| Some filename -> concat (Filename.dirname dir) filename
let absolute_path f = if Filename.is_relative f then concat (Sys.getcwd ()) f else f
let read_file f =
try
let ic = open_in_bin f in
let n = in_channel_length ic in
let s = Bytes.create n in
really_input ic s 0 n;
close_in ic;
Bytes.unsafe_to_string s
with e ->
failwith (Printf.sprintf "Cannot read content of %s.\n%s" f (Printexc.to_string e))
let write_file ~name ~contents =
let ch = open_out_bin name in
output_string ch contents;
close_out ch
let remove_file file = try Sys.remove file with Sys_error _ -> ()
let gen_file file f =
let f_tmp =
Filename.temp_file_name
~temp_dir:(Filename.dirname file)
(Filename.basename file)
".tmp"
in
try
let res = f f_tmp in
remove_file file;
Sys.rename f_tmp file;
res
with exc ->
remove_file f_tmp;
raise exc
let with_intermediate_file name f =
Fun.protect ~finally:(fun () -> remove_file name) (fun () -> f name)