equal
deleted
inserted
replaced
34 else |
34 else |
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 |
|
40 #Haskell management via Stack |
|
41 function isabelle_stack() |
|
42 { |
|
43 if [ -z "$ISABELLE_STACK" ]; then |
|
44 echo "Unknown ISABELLE_STACK -- Haskell management tools unavailable" >&2 |
|
45 return 127 |
|
46 else |
|
47 env STACK_ROOT="$(platform_path "$ISABELLE_STACK_ROOT")" "$ISABELLE_STACK" "$@" |
|
48 fi |
|
49 } |
|
50 export -f isabelle_stack |
39 |
51 |
40 #robust invocation via ISABELLE_JDK_HOME |
52 #robust invocation via ISABELLE_JDK_HOME |
41 function isabelle_jdk () |
53 function isabelle_jdk () |
42 { |
54 { |
43 if [ -z "$ISABELLE_JDK_HOME" ]; then |
55 if [ -z "$ISABELLE_JDK_HOME" ]; then |