blob: ab24f734c74c8444e39de1454a118a4532cf32e6 (
plain)
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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
(* $Id$ *)
open Pp
open Util
(* Files and load path. *)
let load_path = ref ([] : string list)
let add_path dir = load_path := dir :: !load_path
let del_path dir =
if List.mem dir !load_path then
load_path := List.filter (fun s -> s <> dir) !load_path
(* TODO: rétablir glob (expansion ~user et $VAR) si on le juge nécessaire *)
let glob s = s
let search_in_path path filename =
let rec search = function
| dir :: rem ->
let f = glob (Filename.concat dir filename) in
if Sys.file_exists f then f else search rem
| [] ->
raise Not_found
in
search path
let find_file_in_path name =
let globname = glob name in
if not (Filename.is_relative globname) then
globname
else
try
search_in_path !load_path name
with Not_found ->
errorlabstrm "System.find_file_in_path"
(hOV 0 [< 'sTR"Can't find file" ; 'sPC ; 'sTR name ; 'sPC ;
'sTR"on loadpath" >])
let make_suffix name suffix =
if Filename.check_suffix name suffix then name else (name ^ suffix)
let open_trapping_failure open_fun name suffix =
let rname = make_suffix name suffix in
try open_fun rname with _ -> error ("Can't open " ^ rname)
let try_remove f =
try Sys.remove f
with _ -> mSGNL [< 'sTR"Warning: " ; 'sTR"Could not remove file " ;
'sTR f ; 'sTR" which is corrupted !!" >]
exception Bad_magic_number of string
let (raw_extern_intern :
int -> string ->
(string -> string * out_channel) * (string -> string * in_channel))
= fun magic suffix ->
let extern_state name =
let (_,channel) as filec =
open_trapping_failure (fun n -> n,open_out_bin n) name suffix in
output_binary_int channel magic;
filec
and intern_state name =
let fname = find_file_in_path (make_suffix name suffix) in
let channel = open_in_bin fname in
if input_binary_int channel <> magic then
raise (Bad_magic_number fname);
(fname,channel)
in
(extern_state,intern_state)
let (extern_intern :
int -> string -> (string -> 'a -> unit) * (string -> 'a))
= fun magic suffix ->
let (raw_extern,raw_intern) = raw_extern_intern magic suffix in
let extern_state name val_0 =
try
let (fname,channel) = raw_extern name in
try
output_value channel val_0;
close_out channel
with e ->
begin try_remove fname; raise e end
with Sys_error s -> error ("System error: " ^ s)
and intern_state name =
try
let (fname,channel) = raw_intern name in
let v = input_value channel in
close_in channel;
v
with Sys_error s -> error("System error: " ^ s)
in
(extern_state,intern_state)
(* Time stamps. *)
type time_stamp = float
let get_time_stamp () = Unix.time()
let compare_time_stamps t1 t2 =
let dt = t2 -. t1 in
if dt < 0.0 then -1 else if dt = 0.0 then 0 else 1
|