Lines Matching refs:in
10 (* the special exception on linking described in file ../../LICENSE. *)
32 let eprint = Printf.eprintf in
39 in
44 let cmd = Printf.sprintf command file in
45 let ic = Unix.open_process_in cmd in
47 let line = input_line ic in
62 let adr = List.nth adr_off 4 in
63 let off = List.nth adr_off 5 in
64 let sec = List.hd adr_sec in
66 let (!) x = Int64.of_string ("0x" ^ x) in
67 let (+) = Int64.add in
68 let (-) = Int64.sub in
80 in
81 let pr_imports ppf imps = List.iter print_name_crc imps in
91 let adr_off = read_in "objdump -h %s | grep ' .data '" in
92 let adr_sec = read_in "objdump -T %s | grep ' caml_plugin_header$'" in
94 let ic = open_in file in
95 let _ = seek_in ic (get_offset adr_off adr_sec) in
96 let header = (input_value ic : Natdynlink.dynheader) in