1 (**************************************************************************)
2 (* *)
3 (* OCaml *)
4 (* *)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
6 (* *)
7 (* Copyright 1996 Institut National de Recherche en Informatique et *)
8 (* en Automatique. *)
9 (* *)
10 (* All rights reserved. This file is distributed under the terms of *)
11 (* the GNU Lesser General Public License version 2.1, with the *)
12 (* special exception on linking described in the file LICENSE. *)
13 (* *)
14 (**************************************************************************)
15
16 open Misc
17
18 (* Link .cmo files and produce a bytecode executable. *)
19
20 val link : filepath list -> filepath -> unit
21 val reset : unit -> unit
22
23 val check_consistency: filepath -> Cmo_format.compilation_unit -> unit
24
25 val extract_crc_interfaces: unit -> crcs
26
27 type error =
28 | File_not_found of filepath
29 | Not_an_object_file of filepath
30 | Wrong_object_name of filepath
31 | Symbol_error of filepath * Symtable.error
32 | Inconsistent_import of modname * filepath * filepath
33 | Custom_runtime
34 | File_exists of filepath
35 | Cannot_open_dll of filepath
36 | Required_module_unavailable of modname
37 | Camlheader of string * filepath
38
39 exception Error of error
40
41 open Format
42
43 val report_error: formatter -> error -> unit
44