equal
deleted
inserted
replaced
3 # Author: Makarius |
3 # Author: Makarius |
4 # |
4 # |
5 # DESCRIPTION: invoke the dotnet CLI driver within the Isabelle environment |
5 # DESCRIPTION: invoke the dotnet CLI driver within the Isabelle environment |
6 |
6 |
7 if [ -z "$ISABELLE_DOTNET" ]; then |
7 if [ -z "$ISABELLE_DOTNET" ]; then |
8 echo "Missing dotnet installation: need to run \"isabelle dotnet_setup\" first" >&2 |
8 echo "Missing Dotnet installation: need to run \"isabelle dotnet_setup\" first" >&2 |
9 exit 2 |
9 exit 2 |
10 else |
10 else |
11 exec "$ISABELLE_DOTNET" "$@" |
11 exec "$ISABELLE_DOTNET" "$@" |
12 fi |
12 fi |