Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
lib/Tools/go
author wenzelm
Fri, 06 Dec 2024 15:20:43 +0100
changeset 81544 dfd5f665db69
parent 80013 f1686f71dffc
permissions -rwxr-xr-x
tuned signature;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
80011
b082476a8036 dynamic setup of Go component, similar to Dotnet;
wenzelm
parents:
diff changeset 
     1
 
#!/usr/bin/env bash
b082476a8036 dynamic setup of Go component, similar to Dotnet;
wenzelm
parents:
diff changeset 
     2
 
#
b082476a8036 dynamic setup of Go component, similar to Dotnet;
wenzelm
parents:
diff changeset 
     3
 
# Author: Makarius
b082476a8036 dynamic setup of Go component, similar to Dotnet;
wenzelm
parents:
diff changeset 
     4
 
#
b082476a8036 dynamic setup of Go component, similar to Dotnet;
wenzelm
parents:
diff changeset 
     5
 
# DESCRIPTION: invoke go within the Isabelle environment
b082476a8036 dynamic setup of Go component, similar to Dotnet;
wenzelm
parents:
diff changeset 
     6
 












b082476a8036
dynamic setup of Go component, similar to Dotnet;



wenzelm


parents: 

diff
changeset




     7


if [ -z "$ISABELLE_GOEXE" ]; then













b082476a8036
dynamic setup of Go component, similar to Dotnet;



wenzelm


parents: 

diff
changeset




     8


  echo "Missing Go installation: need to run \"isabelle go_setup\" first" >&2













b082476a8036
dynamic setup of Go component, similar to Dotnet;



wenzelm


parents: 

diff
changeset




     9


  exit 2













b082476a8036
dynamic setup of Go component, similar to Dotnet;



wenzelm


parents: 

diff
changeset




    10


else








80013






f1686f71dffc
proper platform_path for Windows;



wenzelm


parents: 
80011

diff
changeset




    11


  export GOROOT="$(platform_path "$ISABELLE_GOROOT")"








80011






b082476a8036
dynamic setup of Go component, similar to Dotnet;



wenzelm


parents: 

diff
changeset




    12


  exec "$ISABELLE_GOEXE/go" "$@"













b082476a8036
dynamic setup of Go component, similar to Dotnet;



wenzelm


parents: 

diff
changeset




    13


fi















isabelle