diff options
| -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 |