Ajout option "-intf_suffix" pour spécifier le suffixe de l'interface

quand on compile une implémentation.


git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1972 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
master
Daniel de Rauglaudre 1998-05-27 14:11:25 +00:00
parent 5a5d98b149
commit 80bb5c6c8b
2 changed files with 2 additions and 1 deletions

View File

@ -40,6 +40,7 @@ module Options = Main_args.Make_options (struct
let _I s = option_with_arg "-I" s
let _impl s = option_with_arg "-impl" s
let _intf s = option_with_arg "-intf" s
let _intf_suffix s = option_with_arg "-intf_suffix" s
let _linkall = option "-linkall"
let _make_runtime = option "-make_runtime"
let _noassert = option "-noassert"

View File

@ -409,7 +409,7 @@ let type_implementation sourcefile prefixname modulename initial_env ast =
let (str, sg, finalenv) = type_structure initial_env ast in
if !Clflags.print_types then (Printtyp.signature sg; print_newline());
let coercion =
if Sys.file_exists (prefixname ^ ".mli") then begin
if Sys.file_exists (prefixname ^ !Config.interface_suffix) then begin
let intf_file =
try find_in_path !Config.load_path (prefixname ^ ".cmi")
with Not_found -> prefixname ^ ".cmi" in