--- a/src/Pure/Tools/generated_files.ML Fri Jul 22 16:41:41 2022 +0200
+++ b/src/Pure/Tools/generated_files.ML Sat Jul 23 11:26:28 2022 +0200
@@ -304,7 +304,14 @@
val _ = List.app (fn (file, pos) => report_file ctxt pos file) files;
val _ = List.app (write_file dir o #1) files;
val _ = List.app (get_external_files dir) external;
- in Scala_Build.scala_build ctxt dir end);
+ val [jar_name, jar_bytes, output] =
+ \<^scala>\<open>scala_build\<close> [Bytes.string (Isabelle_System.absolute_path dir)];
+ val _ = writeln (Bytes.content output);
+ in
+ Export.export (Proof_Context.theory_of ctxt)
+ (Path.explode_binding0 (Bytes.content jar_name))
+ (Bytes.contents_blob jar_bytes)
+ end);
fun scala_build_generated_files_cmd ctxt args external =
scala_build_generated_files ctxt