Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper platform_path for Windows;
authorwenzelm
Tue, 26 Mar 2024 21:04:43 +0100
changeset 80013 f1686f71dffc
parent 80012 07c83d3369c0
child 80014 ce9b649ee2dd
proper platform_path for Windows;
lib/Tools/go file | annotate | diff | comparison | revisions
lib/Tools/gofmt file | annotate | diff | comparison | revisions 
--- 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
--- 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
isabelle