diff options
author | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-02-27 18:29:16 +0100 |
---|---|---|
committer | Sébastien Hinderer <Sebastien.Hinderer@inria.fr> | 2018-02-27 18:32:32 +0100 |
commit | 494757e5aebe06d8c47d0a29b48e817c88b232b4 (patch) | |
tree | 3f936de60add20b9cc09c38a9552636375f4cf20 /ocamltest/ocaml_compilers.mli | |
parent | 3ecb6b8e139810c8cb71623829053f351f347d8d (diff) | |
download | ocaml-494757e5aebe06d8c47d0a29b48e817c88b232b4.tar.gz |
ocamltest: compiler and toplevel classes enhancements
In the compiler class, replace the backend and is_native methods
by host and target ones.
In the toplevel class, get rid of the is_native method which is useless
at the moment.
Diffstat (limited to 'ocamltest/ocaml_compilers.mli')
-rw-r--r-- | ocamltest/ocaml_compilers.mli | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/ocamltest/ocaml_compilers.mli b/ocamltest/ocaml_compilers.mli index daf491f807..e4eb638e38 100644 --- a/ocamltest/ocaml_compilers.mli +++ b/ocamltest/ocaml_compilers.mli @@ -22,11 +22,11 @@ class compiler : exit_status_variable : Variables.t -> reference_variable : Variables.t -> output_variable : Variables.t -> - backend : Ocaml_backends.t -> - is_native : bool -> + host : Ocaml_backends.t -> + target : Ocaml_backends.t -> object inherit Ocaml_tools.tool - method backend : Ocaml_backends.t - method is_native : bool + method host : Ocaml_backends.t + method target : Ocaml_backends.t method program_variable : Variables.t method program_output_variable : Variables.t option end |