more correct indicator
authorhaftmann
Sun Jun 16 16:40:57 2019 +0000 (4 weeks ago)
changeset 70352ce3c1d8791eb
parent 70351 32b4e1aec5ca
child 70353 7aa64296b9b0
more correct indicator
src/Tools/Code/code_ml.ML
     1.1 --- a/src/Tools/Code/code_ml.ML	Fri Jun 14 12:29:50 2019 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Sun Jun 16 16:40:57 2019 +0000
     1.3 @@ -885,7 +885,7 @@
     1.4        evaluation_args = []})
     1.5    #> Code_Target.add_language
     1.6      (target_OCaml, {serializer = serializer_ocaml, literals = literals_ocaml,
     1.7 -      check = {env_var = "ISABELLE_OCAMLEXEC",
     1.8 +      check = {env_var = "ISABELLE_OCAMLFIND",
     1.9          make_destination = fn p => Path.append p (Path.explode "ROOT.ml")
    1.10            (*extension demanded by OCaml compiler*),
    1.11          make_command = fn _ =>