36 lines
1.4 KiB
OCaml
36 lines
1.4 KiB
OCaml
(**************************************************************************)
|
|
(* *)
|
|
(* OCaml *)
|
|
(* *)
|
|
(* Xavier Leroy, projet Gallium, INRIA Rocquencourt *)
|
|
(* *)
|
|
(* Copyright 2010 Institut National de Recherche en Informatique et *)
|
|
(* en Automatique *)
|
|
(* *)
|
|
(* All rights reserved. This file is distributed under the terms of *)
|
|
(* the GNU Lesser General Public License version 2.1, with the *)
|
|
(* special exception on linking described in the file LICENSE. *)
|
|
(* *)
|
|
(**************************************************************************)
|
|
|
|
(* Format of .cmxs files *)
|
|
|
|
open Misc
|
|
|
|
(* Each .cmxs dynamically-loaded plugin contains a symbol
|
|
"caml_plugin_header" containing the following info
|
|
(as an externed record) *)
|
|
|
|
type dynunit = {
|
|
dynu_name: modname;
|
|
dynu_crc: Digest.t;
|
|
dynu_imports_cmi: crcs;
|
|
dynu_imports_cmx: crcs;
|
|
dynu_defines: string list;
|
|
}
|
|
|
|
type dynheader = {
|
|
dynu_magic: string;
|
|
dynu_units: dynunit list;
|
|
}
|