equal
deleted
inserted
replaced
35 env OPAMROOT="$ISABELLE_OPAM_ROOT" "$ISABELLE_OPAM" "$@" |
35 env OPAMROOT="$ISABELLE_OPAM_ROOT" "$ISABELLE_OPAM" "$@" |
36 fi |
36 fi |
37 } |
37 } |
38 export -f isabelle_opam |
38 export -f isabelle_opam |
39 |
39 |
40 #Haskell management via Stack |
40 #GHC management via Stack |
41 function isabelle_stack() |
41 function isabelle_stack() |
42 { |
42 { |
43 if [ -z "$ISABELLE_STACK" ]; then |
43 if [ -z "$ISABELLE_STACK" ]; then |
44 echo "Unknown ISABELLE_STACK -- Haskell management tools unavailable" >&2 |
44 echo "Unknown ISABELLE_STACK -- GHC management tools unavailable" >&2 |
45 return 127 |
45 return 127 |
46 else |
46 else |
47 env STACK_ROOT="$(platform_path "$ISABELLE_STACK_ROOT")" "$ISABELLE_STACK" "$@" |
47 env STACK_ROOT="$(platform_path "$ISABELLE_STACK_ROOT")" "$ISABELLE_STACK" "$@" |
48 fi |
48 fi |
49 } |
49 } |