# HG changeset patch
# User wenzelm
# Date 1711483483 -3600
# Node ID f1686f71dffc1b82fb1c4d56a1641d0274a02051
# Parent  07c83d3369c0f380dcdb2c2f05c6efe107fb0493
proper platform_path for Windows;

diff -r 07c83d3369c0 -r f1686f71dffc lib/Tools/go
--- a/lib/Tools/go	Tue Mar 26 20:58:01 2024 +0100
+++ b/lib/Tools/go	Tue Mar 26 21:04:43 2024 +0100
@@ -8,6 +8,6 @@
   echo "Missing Go installation: need to run \"isabelle go_setup\" first" >&2
   exit 2
 else
-  export GOROOT="$ISABELLE_GOROOT"
+  export GOROOT="$(platform_path "$ISABELLE_GOROOT")"
   exec "$ISABELLE_GOEXE/go" "$@"
 fi
diff -r 07c83d3369c0 -r f1686f71dffc lib/Tools/gofmt
--- a/lib/Tools/gofmt	Tue Mar 26 20:58:01 2024 +0100
+++ b/lib/Tools/gofmt	Tue Mar 26 21:04:43 2024 +0100
@@ -8,6 +8,6 @@
   echo "Missing Go installation: need to run \"isabelle go_setup\" first" >&2
   exit 2
 else
-  export GOROOT="$ISABELLE_GOROOT"
+  export GOROOT="$(platform_path "$ISABELLE_GOROOT")"
   exec "$ISABELLE_GOEXE/gofmt" "$@"
 fi