diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-02-08 16:55:44 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-02-08 16:55:44 +0000 |
| commit | 71cf31f0e2a07f78575b1f37a5754509579082b0 (patch) | |
| tree | 331cd9f54aa52753314c2d1bfceb4b686341bde6 /asmcomp/asmlink.mli | |
| parent | ef9cd6d7e6dbe3bf52de9d75faa2a35bb3dabff2 (diff) | |
| download | ocaml-71cf31f0e2a07f78575b1f37a5754509579082b0.tar.gz | |
Ajout du packaging d'unites de compilation (option -pack)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4367 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'asmcomp/asmlink.mli')
| -rw-r--r-- | asmcomp/asmlink.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/asmcomp/asmlink.mli b/asmcomp/asmlink.mli index 1924860793..9c5f202681 100644 --- a/asmcomp/asmlink.mli +++ b/asmcomp/asmlink.mli @@ -18,6 +18,10 @@ open Format val link: formatter -> string list -> unit +val check_consistency: string -> Compilenv.unit_infos -> Digest.t -> unit +val extract_crc_interfaces: unit -> (string * Digest.t) list +val extract_crc_implementations: unit -> (string * Digest.t) list + type error = File_not_found of string | Not_an_object_file of string |