# HG changeset patch
# User wenzelm
# Date 1737231228 -3600
# Node ID 2bb448f2ac51b7f8801f2c2a6f5e040b0e324cc2
# Parent  02e107686442a5ad9d0a6c5b09a586c06276b791
avoid redundant repository clone;

diff -r 02e107686442 -r 2bb448f2ac51 src/Pure/Admin/component_hol_light.scala
--- a/src/Pure/Admin/component_hol_light.scala	Sat Jan 18 17:22:08 2025 +0100
+++ b/src/Pure/Admin/component_hol_light.scala	Sat Jan 18 21:13:48 2025 +0100
@@ -92,7 +92,6 @@
       /* OCaml setup */
 
       progress.echo("Setup OCaml ...")
-
       progress.bash(
         if (only_offline) "isabelle ocaml_setup_base"
         else "isabelle ocaml_setup && isabelle ocaml_opam install -y camlp5",
@@ -101,16 +100,6 @@
       val opam_env = Isabelle_System.bash("isabelle ocaml_opam env").check.out
 
 
-      /* repository clone */
-
-      val hol_light_dir = tmp_dir + Path.basic("hol-light")
-
-      if (!only_offline) {
-        Isabelle_System.git_clone(hol_light_url, hol_light_dir, checkout = hol_light_rev,
-          progress = progress)
-      }
-
-
       /* "offline" tool */
 
       progress.echo("Building offline tool ...")
@@ -130,6 +119,10 @@
       /* export */
 
       if (!only_offline) {
+        val hol_light_dir = tmp_dir + Path.basic("hol-light")
+        Isabelle_System.git_clone(hol_light_url, hol_light_dir, checkout = hol_light_rev,
+          progress = progress)
+
         progress.echo("Exporting proofs ...")
         progress.bash(
           Library.make_lines("set -e", opam_env,