# HG changeset patch
# User wenzelm
# Date 1711542195 -3600
# Node ID a03a7d4b82f8031a33095da2d5172eac47ef26bc
# Parent  d1ac1bb01060bac2a02d3afcacebb6d77d17c978
more Setup_Tool services;

diff -r d1ac1bb01060 -r a03a7d4b82f8 etc/build.props
--- a/etc/build.props	Wed Mar 27 13:19:21 2024 +0100
+++ b/etc/build.props	Wed Mar 27 13:23:15 2024 +0100
@@ -333,7 +333,9 @@
   isabelle.Document_Build$LIPIcs_PDFLaTeX_Engine \
   isabelle.Document_Build$LuaLaTeX_Engine \
   isabelle.Document_Build$PDFLaTeX_Engine \
+  isabelle.Dotnet_Setup \
   isabelle.CI_Builds \
+  isabelle.Go_Setup \
   isabelle.GHC_Setup \
   isabelle.ML_Statistics$Handler \
   isabelle.OCaml_Setup \
diff -r d1ac1bb01060 -r a03a7d4b82f8 src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Wed Mar 27 13:19:21 2024 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Wed Mar 27 13:23:15 2024 +0100
@@ -183,3 +183,7 @@
           version = version, force = force, dry_run = dry_run, progress = progress)
       })
 }
+
+class Dotnet_Setup extends Setup_Tool("dotnet_setup", "ISABELLE_DOTNET_SETUP") {
+  override val test_file: Path = Path.explode("lib/Tools/dotnet")
+}
diff -r d1ac1bb01060 -r a03a7d4b82f8 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")
+}