equal
deleted
inserted
replaced
44 { |
44 { |
45 if [ -z "$ISABELLE_STACK" ]; then |
45 if [ -z "$ISABELLE_STACK" ]; then |
46 echo "Unknown ISABELLE_STACK -- GHC management tools unavailable" >&2 |
46 echo "Unknown ISABELLE_STACK -- GHC management tools unavailable" >&2 |
47 return 127 |
47 return 127 |
48 else |
48 else |
49 env STACK_ROOT="$(platform_path "$ISABELLE_STACK_ROOT")" "$ISABELLE_STACK" "$@" |
49 env STACK_ROOT="$(platform_path "$ISABELLE_STACK_ROOT")" "$ISABELLE_STACK" --resolver "$ISABELLE_STACK_RESOLVER" --compiler "$ISABELLE_GHC_VERSION" "$@" |
50 fi |
50 fi |
51 } |
51 } |
52 export -f isabelle_stack |
52 export -f isabelle_stack |
53 |
53 |
54 #robust invocation via ISABELLE_JDK_HOME |
54 #robust invocation via ISABELLE_JDK_HOME |