diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-02 16:51:07 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-07-02 16:51:07 +0000 |
| commit | b827a4705258e5e2dfaab28d643139778d01fad1 (patch) | |
| tree | c545485b4f6d1504ce8d4687799fd74d806b99c4 /driver/optcompile.mli | |
| parent | 67624bbd5335f42aee1f9c8608c6cd94536f8cdd (diff) | |
Fichiers drivers pour le compilo natif.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@61 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver/optcompile.mli')
| -rw-r--r-- | driver/optcompile.mli | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/driver/optcompile.mli b/driver/optcompile.mli new file mode 100644 index 000000000..0df7451f3 --- /dev/null +++ b/driver/optcompile.mli @@ -0,0 +1,8 @@ +(* Compile a .ml or .mli file *) + +val interface: string -> unit +val implementation: string -> unit +val c_file: string -> unit + +val initial_env: unit -> Env.t +val init_path: unit -> unit |