src/Tools/Code/code_ml.ML
changeset 59104 a14475f044b2
parent 56826 ba18bd41e510
child 59323 468bd3aedfa1
     1.1 --- a/src/Tools/Code/code_ml.ML	Thu Dec 04 16:51:54 2014 +0100
     1.2 +++ b/src/Tools/Code/code_ml.ML	Fri Dec 05 19:35:36 2014 +0100
     1.3 @@ -861,13 +861,13 @@
     1.4    );
     1.5  
     1.6  val setup =
     1.7 -  Code_Target.add_target
     1.8 +  Code_Target.add_language
     1.9      (target_SML, { serializer = serializer_sml, literals = literals_sml,
    1.10        check = { env_var = "ISABELLE_PROCESS",
    1.11          make_destination = fn p => Path.append p (Path.explode "ROOT.ML"),
    1.12          make_command = fn _ =>
    1.13            "\"$ISABELLE_PROCESS\" -r -q -e 'datatype ref = datatype Unsynchronized.ref; use \"ROOT.ML\" handle _ => exit 1' Pure" } })
    1.14 -  #> Code_Target.add_target
    1.15 +  #> Code_Target.add_language
    1.16      (target_OCaml, { serializer = serializer_ocaml, literals = literals_ocaml,
    1.17        check = { env_var = "ISABELLE_OCAML",
    1.18          make_destination = fn p => Path.append p (Path.explode "ROOT.ocaml"),