# HG changeset patch # User haftmann # Date 1560703257 0 # Node ID ce3c1d8791eb79ec65f5f45b9748b95885ce9063 # Parent 32b4e1aec5ca5840de7af1d4e26b7cec718c67e6 more correct indicator diff -r 32b4e1aec5ca -r ce3c1d8791eb src/Tools/Code/code_ml.ML --- a/src/Tools/Code/code_ml.ML Fri Jun 14 12:29:50 2019 +0200 +++ b/src/Tools/Code/code_ml.ML Sun Jun 16 16:40:57 2019 +0000 @@ -885,7 +885,7 @@ evaluation_args = []}) #> Code_Target.add_language (target_OCaml, {serializer = serializer_ocaml, literals = literals_ocaml, - check = {env_var = "ISABELLE_OCAMLEXEC", + check = {env_var = "ISABELLE_OCAMLFIND", make_destination = fn p => Path.append p (Path.explode "ROOT.ml") (*extension demanded by OCaml compiler*), make_command = fn _ =>