blob: e7d9139bed7ef7ca1fbdfcfd0ed0c6da902349ca (
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
|
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* en Automatique. All rights reserved. This file is distributed *)
(* under the terms of the GNU Library General Public License, with *)
(* the special exception on linking described in file ../../LICENSE. *)
(* *)
(***********************************************************************)
(* $Id$ *)
(* Print the digests of unit interfaces *)
let load_path = ref []
let first = ref true
let print_crc unit =
try
let crc = Dynlink.digest_interface unit (!load_path @ ["."]) in
if !first then first := false else print_string ";\n";
print_string " \""; print_string (String.capitalize unit);
print_string "\",\n \"";
for i = 0 to String.length crc - 1 do
Printf.printf "\\%03d" (Char.code crc.[i])
done;
print_string "\""
with exn ->
prerr_string "Error while reading the interface for ";
prerr_endline unit;
begin match exn with
Sys_error msg -> prerr_endline msg
| Dynlink.Error(Dynlink.File_not_found name) ->
prerr_string "Cannot find file "; prerr_endline name
| Dynlink.Error _ -> prerr_endline "Ill-formed .cmi file"
| _ -> raise exn
end;
exit 2
let usage = "Usage: extract_crc [-I <dir>] <files>"
let main () =
print_string "let crc_unit_list = [\n";
Arg.parse
["-I", Arg.String(fun dir -> load_path := !load_path @ [dir]),
"<dir> Add <dir> to the list of include directories"]
print_crc usage;
print_string "\n]\n"
let _ = main(); exit 0
|
