blob: c670024f92826e26c43da9c191cfdef75ee5d7b6 (
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
|
(**************************************************************************)
(* *)
(* 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;
}
|
