diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 1998-05-27 14:11:25 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 1998-05-27 14:11:25 +0000 |
| commit | 80bb5c6c8bb3f006547b75a075e88a6e6122d679 (patch) | |
| tree | cd73d2a7791b9d61680f80f57966452888f187b0 | |
| parent | 5a5d98b149ad4d6e39c50e1988e6dae4b6f9f4fc (diff) | |
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
| -rw-r--r-- | tools/ocamlcp.ml | 1 | ||||
| -rw-r--r-- | typing/typemod.ml | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index c43296097..9110d9024 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -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" diff --git a/typing/typemod.ml b/typing/typemod.ml index 8f58c485d..67e06be00 100644 --- a/typing/typemod.ml +++ b/typing/typemod.ml @@ -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 |