src/Pure/Tools/go_setup.scala

--- a/src/Pure/Tools/go_setup.scala	Wed Mar 27 13:19:21 2024 +0100
+++ b/src/Pure/Tools/go_setup.scala	Wed Mar 27 13:23:15 2024 +0100
@@ -170,3 +170,7 @@
           target_dir = target_dir, progress = progress, force = force)
       })
 }
+
+class Go_Setup extends Setup_Tool("go_setup", "ISABELLE_GO_SETUP") {
+  override val test_file: Path = Path.explode("lib/Tools/go")
+}