--- a/src/Pure/Tools/build_docker.scala Sat Sep 17 14:45:41 2022 +0200
+++ b/src/Pure/Tools/build_docker.scala Sat Sep 17 16:16:38 2022 +0200
@@ -75,12 +75,18 @@
ENTRYPOINT ["Isabelle/bin/isabelle"]
""" else "")
- output.foreach(File.write(_, dockerfile))
+ for (path <- output) {
+ progress.echo("Dockerfile: " + path.absolute)
+ File.write(path, dockerfile)
+ }
if (!no_build) {
+ Isabelle_System.make_directory(work_dir)
progress.echo("Docker working directory: " + work_dir.absolute)
- Isabelle_System.make_directory(work_dir)
+
Isabelle_System.with_tmp_dir("docker_build", base_dir = work_dir.file) { tmp_dir =>
+ progress.echo("Docker temporary directory: " + tmp_dir.absolute)
+
File.write(tmp_dir + Path.explode("Dockerfile"), dockerfile)
if (is_remote) {