diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 1996-05-22 12:41:36 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 1996-05-22 12:41:36 +0000 |
| commit | 1954a7f57240f31ba1e731418ec5e66b6dbae9d0 (patch) | |
| tree | 7dcd591469a057fffeff01ad70e93bd47d7278b8 | |
| parent | d6770a923112fbfd6935e9b08f82051e01c73768 (diff) | |
Ajout options compilo -impl et -intf pour passer outre extensions
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@829 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | driver/main.ml | 9 | ||||
| -rw-r--r-- | driver/optmain.ml | 9 |
2 files changed, 18 insertions, 0 deletions
diff --git a/driver/main.ml b/driver/main.ml index 25e952af0..97d659a94 100644 --- a/driver/main.ml +++ b/driver/main.ml @@ -14,6 +14,13 @@ open Config open Clflags +let process_interface_file name = + Compile.interface name + +let process_implementation_file name = + Compile.implementation name; + objfiles := (Filename.chop_extension name ^ ".cmo") :: !objfiles + let process_file name = if Filename.check_suffix name ".ml" or Filename.check_suffix name ".mlt" then begin @@ -60,6 +67,8 @@ let main () = "-dlambda", Arg.Set dump_lambda; "-dinstr", Arg.Set dump_instr; "-v", Arg.Unit print_version_number; + "-intf", Arg.String process_interface_file; + "-impl", Arg.String process_implementation_file; "-", Arg.String process_file] process_file; if !make_archive then begin diff --git a/driver/optmain.ml b/driver/optmain.ml index 41405c200..7bfe26e53 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -14,6 +14,13 @@ open Config open Clflags +let process_interface_file name = + Optcompile.interface name + +let process_implementation_file name = + Optcompile.implementation name; + objfiles := (Filename.chop_extension name ^ ".cmx") :: !objfiles + let process_file name = if Filename.check_suffix name ".ml" or Filename.check_suffix name ".mlt" then begin @@ -73,6 +80,8 @@ let main () = "-dlinear", Arg.Set dump_linear; "-dstartup", Arg.Set keep_startup_file; "-v", Arg.Unit print_version_number; + "-intf", Arg.String process_interface_file; + "-impl", Arg.String process_implementation_file; "-", Arg.String process_file] process_file; if !make_archive then begin |