--- a/src/Tools/Code/code_ml.ML Thu Dec 04 16:51:54 2014 +0100
+++ b/src/Tools/Code/code_ml.ML Fri Dec 05 19:35:36 2014 +0100
@@ -861,13 +861,13 @@
);
val setup =
- Code_Target.add_target
+ Code_Target.add_language
(target_SML, { serializer = serializer_sml, literals = literals_sml,
check = { env_var = "ISABELLE_PROCESS",
make_destination = fn p => Path.append p (Path.explode "ROOT.ML"),
make_command = fn _ =>
"\"$ISABELLE_PROCESS\" -r -q -e 'datatype ref = datatype Unsynchronized.ref; use \"ROOT.ML\" handle _ => exit 1' Pure" } })
- #> Code_Target.add_target
+ #> Code_Target.add_language
(target_OCaml, { serializer = serializer_ocaml, literals = literals_ocaml,
check = { env_var = "ISABELLE_OCAML",
make_destination = fn p => Path.append p (Path.explode "ROOT.ocaml"),