l4/pkg/ocaml/ocaml/contrib/bytecomp/bytelink.mli

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
   6 (*                                                                     *)
   7 (*  Copyright 1996 Institut National de Recherche en Informatique et   *)
   8 (*  en Automatique.  All rights reserved.  This file is distributed    *)
   9 (*  under the terms of the Q Public License version 1.0.               *)
  10 (*                                                                     *)
  11 (***********************************************************************)
  12
  13 (* $Id: bytelink.mli 7422 2006-05-11 15:50:53Z xleroy $ *)
  14
  15 (* Link .cmo files and produce a bytecode executable. *)
  16
  17 val link: string list -> string -> unit
  18
  19 val check_consistency: string -> Cmo_format.compilation_unit -> unit
  20
  21 val extract_crc_interfaces: unit -> (string * Digest.t) list
  22
  23 type error =
  24     File_not_found of string
  25   | Not_an_object_file of string
  26   | Symbol_error of string * Symtable.error
  27   | Inconsistent_import of string * string * string
  28   | Custom_runtime
  29   | File_exists of string
  30   | Cannot_open_dll of string
  31
  32 exception Error of error
  33
  34 open Format
  35
  36 val report_error: formatter -> error -> unit